I più prenotati (1)

Includi: nessuno dei seguenti filtri
× Soggetto PATENTE DI GUIDA - Manuali
Includi: tutti i seguenti filtri
× Nomi BUNDY, Alan
× Data 1986

Trovati 1 documenti.

L'automazione del ragionamento matematico
0 0
Libri Moderni

BUNDY, Alan

L'automazione del ragionamento matematico : dalla dimostrazione dei teoremi alla formazione dei concetti / Alan Bundy ; edizione italiana a cura di Mauro Boscarol

Padova : F. Muzzio, 1986

IAR : Intelligenza artificiale e robotica ; 4