Details for: Tarski's world 4.0 a program for use with the language of first-order logic

Image from Google Jackets

Normal view MARC view ISBD view

Tarski's world 4.0 a program for use with the language of first-order logic [[Documento electrónico]] / Jon Barwise, John Etchemendy

Main Author: Barwise, JonCoauthor: Etchemendy, John, co-aut.Publication: Stanford, US : CSLI Publications, cop. 1993Description: 1 disquete ; 10 cmISBN: 0-937073-90-3.Subject - Topical Name: Lógica de primeira ordem | Tarski's world (Programas de computador)

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Multimedia	Biblioteca NOVA FCT Depósito 1	Não Ficção	BC128.BAR FCT 45978 (Browse shelf(Opens below))	1	Available		0051596

Previous	No cover image available	No cover image available						Next
Previous	73902 Relatório de estágio de mestrado em ensino de biologia e geologia no 3º ciclo de Ensino básico e no ensino secundário	AP65B50 Brotéria, cultura e informação	BC128.BAR FCT 45977 Tarski's world 4.0 a program for use with the language of first-order logic	BC128.BAR FCT 45978 Tarski's world 4.0 a program for use with the language of first-order logic	BC128.BAR FCT 45979 Tarski's world 4.0 a program for use with the language of first-order logic	BC128.BAR FCT 45980 Tarski's world 4.0 a program for use with the language of first-order logic	BC128.BAR FCT 45981 Tarski's world 4.0 a program for use with the language of first-order logic	Next

IBM compatible version

There are no comments on this title.

to post a comment.