Symbolic computation and automated reasoning : CALCULEMUS-2000 symposium / edited by Manfred Kerber, Michael Kohlhase

• Pubblicazione: Natick, : Peters, 2001
• Descrizione fisica: XI, 270 p. : ill. ; 23 cm.
• Soggetto topico: 68Qxx - Theory of computing [MSC 2020]; 68Txx - Artificial intelligence [MSC 2020]; 68Wxx - Algorithms in computer science [MSC 2020]; 03Bxx - General logic [MSC 2020]
• Persona (resp. second.): Kerber, Manfred; Kohlhase, Michael
• Titolo autorizzato: Symbolic computation and automated reasoning
• ISBN: 15-688-1145-4
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: SUN0055603
• Lo trovi qui: Univ. Vanvitelli