Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings /

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings /

Na minha lista:
Detalhes bibliográficos
Autor Corporativo: TABLEAUX '95, Sankt Goar, Germany
Outros Autores: Baumgartner, Peter, Hähnle, Reiner, Posegga, Joachim
Formato: Anais de Congresso Livro
Idioma:English
Publicado em: Berlin : New York : Springer, c1995.
coleção:Lecture notes in computer science ; 918.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Assuntos:
Automatic theorem proving > Congresses.
Nonclassical mathematical logic > Congresses.
Logic, Symbolic and mathematical > Congresses.
LEADER 01662nam a2200373 a 4500
001 c000162648
003 CARM
005 19980605000000.0
008 950713s1995 gw a b 100 0 eng d
010 |a 95174471 
019 1 |a 11690613  |5 LACONCORD2021 
020 |a 3540593381 
035 |a (OCoLC)32644245  |5 LACONCORD2021 
040 |a LC  |b eng  |c LC  |d NU 
042 |a lccopycat 
050 4 |a QA76.9.A96  |b T33 1995 
082 0 0 |a 005.1/1  |2 20 
111 2 |a TABLEAUX '95,  |d (1995 :  |c Sankt Goar, Germany) 
245 1 0 |a Theorem proving with analytic tableaux and related methods :  |b 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings /  |c Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds. 
260 |a Berlin :  |a New York :  |b Springer,  |c c1995. 
300 |a x, 352 p. :  |b ill. ;  |c 24 cm. 
490 1 |a Lecture notes in computer science ;  |v 918.  |a Lecture notes in artificial intelligence. 
504 |a Includes bibliographical references. 
650 0 |a Automatic theorem proving  |v Congresses. 
650 0 |a Nonclassical mathematical logic  |x Congresses. 
650 0 |a Logic, Symbolic and mathematical  |v Congresses. 
700 1 |a Baumgartner, Peter. 
700 1 |a Hähnle, Reiner. 
700 1 |a Posegga, Joachim. 
830 0 |a Lecture notes in computer science ;  |v 918. 
830 0 |a Lecture notes in computer science.  |p Lecture notes in artificial intelligence. 
852 8 |b CARM  |h A2:AM07F0  |i C05502  |p 0214726  |f BK 
999 f f |i 42bf9c70-700f-5395-b02a-bc6e1ce7d214  |s 9854b49b-89fe-5b77-afaa-bbd96af8b9b7 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C05502  |f A2:AM07F0  |h Other scheme  |i book  |m 0214726 

Registros relacionados