Date : 1993
Editeur / Publisher : Stanford, Calif. : Center for the Study of Language and Information , cop. 1993
Type : Livre / Book
Langue / Language : anglais / English
ISBN : 0-937073-99-7
Logique du premier ordre -- Logiciels
Classification Dewey : 160
Collection : CSLI lecture notes / Stanford : CSLI , 1985-