Vai al contenuto principale della pagina

Automated reasoning with analytic tableaux and related methods : International conference, TABLEAUX 2005 : Koblenz, Germany, September 14-17, 2005 : proceedings / Bernhard Beckert(Eds.)



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: International conference, TABLEAUX 2005 : <2005 Visualizza persona
Titolo: Automated reasoning with analytic tableaux and related methods : International conference, TABLEAUX 2005 : Koblenz, Germany, September 14-17, 2005 : proceedings / Bernhard Beckert(Eds.) Visualizza cluster
Pubblicazione: Berlin [etc.] : Springer, copyr. 2005
Descrizione fisica: XIII, 342 p. : ill. ; 24 cm
Disciplina: 006.3
Soggetto non controllato: Intelligenza artificiale
Logica matematica
Persona (resp. second.): BECKERT, Bernhard
Titolo autorizzato: Automated reasoning with analytic tableaux and related methods  Visualizza cluster
ISBN: 3-540-28931-3
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 990002966330203316
Lo trovi qui: Univ. di Salerno
Collocazione: 006.3 LNAI 3702
Opac: Controlla la disponibilità qui
Serie: Lecture notes in arteficial intelligence ; 3702
Fa parte di: -------
Biblioteca: Univ. di Salerno
Opac: Controlla la disponibilità qui