Automated deduction - Cade-13 : 13th International conference on automata deduction : New Brunswich, NJ, USA, July 30 - August 3, 1996 :proceedings / M. A. McRobbie ... [et al.] (eds.)

(Visualizza in formato marc) (Visualizza in BIBFRAME)

Autore:	International conference on automated eduction : 13. : 1996
Titolo:	Automated deduction - Cade-13 : 13th International conference on automata deduction : New Brunswich, NJ, USA, July 30 - August 3, 1996 :proceedings / M. A. McRobbie ... [et al.] (eds.)
Pubblicazione:	Berlin [etc.] : Springer-Verlag, copyr. 1996
Descrizione fisica:	XV, 764 p. : ill. ; 23 cm
Disciplina:	005131
Soggetto non controllato:	congressi - new brunswick - 1996
	intelligenza artificiale - congressi - 1996
	logica matematica - congressi - 1996
Persona (resp. second.):	McRobbie, Michael A.
Note generali:	serie principale: lecture notes incomputer science
Titolo autorizzato:	Automated deduction - Cade-13
ISBN:	3-540-61511-3
Formato:	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione:	Inglese
Record Nr.:	990000202030203316
Lo trovi qui:	Univ. di Salerno
Collocazione:	006.3 LNAI (1104)
Opac:	Controlla la disponibilità qui

Serie: Lecture notes in artificial intelligence

Biblioteca:	Univ. di Salerno
Opac:	Controlla la disponibilità qui

Documenti simili

Logic and computational complexity : Internatinal workshop LCC '94 : Indianapolis, IN, USA October 13-16, 1994 / Daniel Leivant (ed.) International workshop LCC'94 : 1994
Logic programming and automated reasoning : International conference LPAR'92, St. Petersburg, Russia, July 15-20,1992 : proceedings / A. Voronkov (ed.) International conference LPAR'92 : 1992
Logical foundations of computer science : third International symposium LFCS'94 : St. Petersburg, Russia, July 11-14, 1994 : proceedings / A. Nerode (ed.) International symposium LFCS'94 : 3. : 1994
Automated deduction - CADE-14 : 14th International conference on automated deduction : Townsville, North Queensland, Australia : July 13-17, 1997 : proceedings / William McCune (ed.) International conference on automated deduction : 14. : 1997
Field-programmable logic : 6th International workshop on field-programmable logic and applications, FPL '96 : Darmstadt, Germany, September 1996 : proceedings / Reiner W.Hartenstein ... [et al.] (eds.)

Logic and computational complexity : Internatinal workshop LCC '94 : Indianapolis, IN, USA October 13-16, 1994 / Daniel Leivant (ed.)
International workshop LCC'94 : 1994

Logic programming and automated reasoning : International conference LPAR'92, St. Petersburg, Russia, July 15-20,1992 : proceedings / A. Voronkov (ed.)
International conference LPAR'92 : 1992

Logical foundations of computer science : third International symposium LFCS'94 : St. Petersburg, Russia, July 11-14, 1994 : proceedings / A. Nerode (ed.)
International symposium LFCS'94 : 3. : 1994

Automated deduction - CADE-14 : 14th International conference on automated deduction : Townsville, North Queensland, Australia : July 13-17, 1997 : proceedings / William McCune (ed.)
International conference on automated deduction : 14. : 1997

Field-programmable logic : 6th International workshop on field-programmable logic and applications, FPL '96 : Darmstadt, Germany, September 1996 : proceedings / Reiner W.Hartenstein ... [et al.] (eds.)

1 2 3 4 > >>