Fermer le menu
Région autonome de la Sardaigne Région autonome de la Sardaigne Région autonome de la Sardaigne Région autonome de la Sardaigne
Sardaigne
Suivez-nous sur
Recherche Rechercher sur le site

Sardaigne

D\'autres actions
Revenir Revenir

Tarskis world : version 4.0 for MS Windows

Barwise, Jon

Tarskis world : version 4.0 for MS Windows
Information
Vous pouvez le trouver dans

Catégorie

Testo

Nature

Monografia

Titre

Tarskis world : version 4.0 for MS Windows

Des noms

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

Classe Dewey

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

Sujet BNI

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

Description

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

Description physique

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

Nombres standard

ISBN: 1881526283

Date

c1993

Place de publication

Stanford

Village

STATI UNITI

Langue

INGLESE

Source

Biblioteche SBN Sardegna

ID

IT\ICCU\MIL\0314786

Liens de ressources

http://id.sbn.it/bid/MIL0314786
Biblioteca del Distretto di scienze umane - sezione Giordano Bruno

Étiqueter

D\'autres actions

Images

Programma sulla scuola

Programma sulla scuola

Année : 1975
Programma dell'Unità Proletaria

Programma dell'Unità Proletaria

Année : 1943

Résultats 2 de 20129

Voir tout Voir tout

Des textes

Tarskis world : version 4.0 for Macintosh

Tarskis world : version 4.0 for Macintosh

Auteur : Barwise, Jon

Année : 1993
The language of first-order logic : including the Macintosh version of Tarskis World 4.0

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

Auteur : Barwise, Jon

Année : 1993

Résultats 2 de 2187102

Voir tout Voir tout

Vidéo

Qualcosa di personale

Qualcosa di personale

Année : 1997
Giovanni Paolo 2.

Giovanni Paolo 2.

Année : 2006

Résultats 2 de 69723

Voir tout Voir tout

l\'audio

Che cos'è la logica?

Che cos'è la logica?

Auteur : Odifreddi, Piergiorgio

Année : 2006
Music for cello and orchestra : including original version of Rococo variations and Pezzo Capriccioso

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

Auteur : ajkovskij, Petr Ilʹi

Année : 1983

Résultats 2 de 24296

Voir tout Voir tout

commentaires

Chargez les autres

Écrire un commentaire

Envoyer
Écrire un commentaire