Vai al contenuto principale della pagina

Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / / William McCune, ed



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / / William McCune, ed Visualizza cluster
Pubblicazione: Springer Berlin / Heidelberg
Disciplina: 006.3/33
Soggetto topico: Automatic theorem proving - Congresses
Logic, Symbolic and mathematical - Congresses
Altri autori: McCuneWilliam  
Titolo autorizzato: Automated deduction, CADE-14  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 996465556603316
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Recent Advances in AI Planning [[electronic resource] ] : 4th European Conference on Planning, ECP'97, Toulouse, France, September 24 - 26, 1997, Proceedings / / edited by Sam Steel, Rachid Alami
Case-Based Reasoning Research and Development [[electronic resource] ] : 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003, Proceedings / / edited by Kevin D. Ashley, Derek Bridge
Types for Proofs and Programs [[electronic resource] ] : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers / / edited by Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack
Recent Advances in AI Planning [[electronic resource] ] : 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings / / edited by Susanne Biundo, Maria Fox
Automated Reasoning with Analytic Tableaux and Related Methods [[electronic resource] ] : International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings / / edited by Roy Dyckhoff