Menü schließen
Autonome Region Sardiniens Autonome Region Sardiniens Autonome Region Sardiniens Autonome Region Sardiniens
Sardinienregion
Folge uns auf
Suchen Suche auf der Website

Sardinienregion

Andere Aktionen
Komm zurück Komm zurück

Tarskis world : version 4.0 for Macintosh

Barwise, Jon

Tarskis world : version 4.0 for Macintosh
Information
Sie können es in finden

Kategorie

Testo

Natur

Monografia

Titel

Tarskis world : version 4.0 for Macintosh

Namen

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

Dewey -Klasse

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

BNI -Subjekt

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

Beschreibung

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

Physische Beschreibung

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

Standardzahlen

ISBN: 1881526275

Datum

c1993

Ort der Veröffentlichung

Stanford

Dorf

STATI UNITI

Zunge

INGLESE

Quelle

Biblioteche SBN Sardegna

ID

IT\ICCU\MIL\0314916

Ressourcenverbindungen

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

Etikett

Andere Aktionen

Bilder

Meccanica quantistica II : applicazioni

Meccanica quantistica II : applicazioni

Jahr : 2001
Meccanica quantistica II : applicazioni

Meccanica quantistica II : applicazioni

Jahr : 2001

Ergebnisse 2 von 20093

Alle ansehen Alle ansehen

Texte

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

Autor : Barwise, Jon

Jahr : 1993
Tarskis world : version 4.0 for MS Windows

Tarskis world : version 4.0 for MS Windows

Autor : Barwise, Jon

Jahr : 1993

Ergebnisse 2 von 2187098

Alle ansehen Alle ansehen

Video

Archangel

Archangel

Jahr : 2007
Phenomenon

Phenomenon

Autor : Turteltaub, Jon

Ergebnisse 2 von 69627

Alle ansehen Alle ansehen

Audio

Peaceful Choir : New Sound of Choral Music

Peaceful Choir : New Sound of Choral Music

Autor : World Choir for Peace

Jahr : 2020
6: Rhapsody in blue : original version for piano and big band

6: Rhapsody in blue : original version for piano and big band

Jahr : 1992

Ergebnisse 2 von 23998

Alle ansehen Alle ansehen

Kommentare

Andere laden

Schreibe einen Kommentar

Schicken
Schreibe einen Kommentar