Vai al contenuto principale della pagina
Titolo: |
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 |
Opac: | Controlla la disponibilità qui |