Tarski's world : version 4.0 for MS windows / Jon Barwise & John Etchemendy

Date : 1993

Format : 1 disquette

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 1-881526-28-3

EAN : 9781881526285

Tarski's world (logiciels)

Logique du premier ordre -- Logiciels

Classification Dewey : 670

Classification Dewey : 511.3

Classification Dewey : 511

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

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

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