Torna Indietro

Tarskis world : version 4.0 for MS Windows

Barwise, Jon

Informazioni

Lo trovi in

Categoria

Testo

Natura

Monografia

Titolo

Tarskis world : version 4.0 for MS Windows

Nomi

[Autore] Barwise, Jon
[Autore] Etchemendy, John

Classe Dewey

511.30285 Logica matematica (Logica simbolica). Elaborazione dei dati, applicazioni dell'elaboratore.

Soggetto BNI

LOGICA - APPLICAZIONI DELL'INFORMATICA
INFORMATICA - APPLICAZIONI ALLA LOGICA
PROGRAMMA TARSKIS WORLD
ELABORATORI ELETTRONICI - PROGRAMMA TARSKIS WORLD

Descrizione

Tarskis world : version 4.0 for MS Windows / Jon Barwise & John Etchemendy

Descrizione Fisica

XVIII, 122 p. ; 23 cm. + 1 floppy disk.

Numeri Standard

ISBN: 1881526283

Data

c1993

Luogo di pubblicazione

Stanford

Paese

STATI UNITI

Lingua

INGLESE

Fonte

Biblioteche SBN Sardegna

IT\ICCU\MIL\0314786

Link Risorse

http://id.sbn.it/bid/MIL0314786

Commenti

Carica altri

Scrivi un commento

Invia

Tarskis world : version 4.0 for MS Windows

Tag

Programma sulla scuola

Programma dell'Unità Proletaria

Tarskis world : version 4.0 for Macintosh

The language of first-order logic : including the Macintosh version of Tarskis World 4.0

Qualcosa di personale

Giovanni Paolo 2.

Che cos'è la logica?

Music for cello and orchestra : including original version of Rococo variations and Pezzo Capriccioso

Commenti

Regione Sardegna

Tarskis world : version 4.0 for MS Windows

Tag

Programma sulla scuola

Programma dell'Unità Proletaria

Tarskis world : version 4.0 for Macintosh

The language of first-order logic : including the Macintosh version of Tarskis World 4.0

Qualcosa di personale

Giovanni Paolo 2.

Che cos'è la logica?

Music for cello and orchestra : including original version of Rococo variations and Pezzo Capriccioso

Commenti