Theorem Proving with Analytic Tableaux and Related Methods : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings

>> Amazon.co.jp

このページのQRコード

Theorem Proving with Analytic Tableaux and Related Methods : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings

種類:

電子ブック

責任表示:

edited by P. Miglioli, U. Moscato, D. Mundici, M. Ornaghi

出版情報:

Berlin, Heidelberg : Springer-Verlag, 1996

著者名:

シリーズ名:

Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1071

ISBN:

9783540683681 [3540683682]

ローカル注記:

岐阜大学構成員専用E-BOOKS (Gifu University members only)

オンライン

http://dx.doi.org/10.1007/3-540-61208-4

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Artificial Intelligence (incl. Robotics); Computer Science; Mathematical Logic and Foundations
分類・件名:	LCSH : Computer science LCSH : Artificial intelligence LCSH : Logic, Symbolic and mathematical FREE : Computer Science FREE : Artificial Intelligence (incl. Robotics) FREE : Mathematical Logic and Foundations
TTLL:	eng
言語:	英語
形態:	v.: digital
書誌ID:	KB00006652

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Theorem Proving with Analytic Tableaux and Related Methods : 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. … Miglioli, Pierangelo., Moscato, Ugo., Mundici, Daniele., Ornaghi, Mario., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	7 電子ブック Isabelle : A Generic Theorem Prover Paulson, Lawrence C., SpringerLink (Online service) Springer-Verlag
2 図書 Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings TABLEAUX, Miglioli, Pierangelo Springer	8 電子ブック Computer Science Logic : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers Börger, Egon, Gurevich, Yuri, Meinke, Karl, SpringerLink (Online service) Springer-Verlag
3 電子ブック Theorem Proving with Analytic Tableaux and Related Methods : 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 … Baumgartner, Peter, Hähnle, Reiner, Possega, Joachim, SpringerLink (Online service) Springer-Verlag	9 電子ブック Graph Grammars and Their Application to Computer Science : 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers Cuny, Janice, Ehrig, Hartmut, Engels, Gregor, Rozenberg, Grzegorz, SpringerLink (Online service) Springer-Verlag
4 電子ブック Theorem Proving with Analytic Tableaux and Related Methods : 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. … Baumgartner, Peter., Hähnle, Reiner., Posegga, Joachim., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	10 電子ブック Advances in Knowledge Acquisition : 9th European Knowledge Acquisition Workshop, EKAW '96 Nottingham, United Kingdom, May 14–17, 1996 Proceedings Shadbolt, Nigel, O'Hara, Kieron, Schreiber, Guus, SpringerLink (Online service) Springer-Verlag
5 電子ブック Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings Goos, Gerhard, Hartmanis, Juris, Leeuwen, Jan, Wright, Joakim, Grundy, Jim, Harrison, John, SpringerLink (Online … Springer-Verlag	11 電子ブック Algorithmic Learning Theory : 4th International Workshop on Analogical and Inductive Inference, AII '94 5th International Workshop on Algorithmic Learning … Arikawa, Setsuo, Jantke, Klaus P., SpringerLink (Online service) Springer-Verlag
6 電子ブック Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings Melham, Thomas F., Camilleri, Juanito, SpringerLink (Online service) Springer-Verlag	12 図書 Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : … TABLEAUX, Baumgartner, Peter, Hähnle, Reiner, Posegga, Joachim Springer Verlag