Tarski's world : version 4.0 for the Macintosh / Jon Barwise and John Etchemendy

Date : 1993

Editeur / Publisher : Stanford, CA : Center for the Study of Language and Information , 1993

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 1-88152-627-5

Logique du premier ordre -- Logiciels

Classification Dewey : 511.3/0285/5369

Barwise, Jon (1942-2000) (Auteur / author)

Etchemendy, John (1952-....) (Auteur / author)

Collection : CSLI lecture notes / Stanford : CSLI , 1985-