Vai al contenuto principale della pagina

10th International conference on Automated deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings / M.E. Stickel (ed.)

Berlin [etc.] : Springer, c1990 Monografie
(Visualizza in formato Marc21)

Amicus Nr.: 617444 Autore International conference on Automated deduction, 10., 1990 Kaiserslautern Altri autori Stickel, Mark E. Editore: Berlin [etc.] : Springer, c1990 Descrizione fisica: XVI, 688 p. 25 cm Collana: Lecture notes in computer science ; 449 Altri titoli: Automated deduction ISBN: 3540528857 0387528857 Soggetti: Dimostrazione automatica di teoremi - Congressi - 1990 Logica simbolica - Congressi - 1990 Logica matematica - Congressi - 1990 Congressi - Kaiserslautern - 1990 Disciplina: 511.3 Lingua: Inglese
Informazione non disponibile per aggiornamento temporaneo del sistema