Komm zurück

First-order logic and automated theorem proving

Fitting, Melvin

Information

Sie können es in finden

Kategorie

Testo

Natur

Monografia

Titel

First-order logic and automated theorem proving

Namen

[Autore] Fitting, Melvin

Beschreibung

First-order logic and automated theorem proving / Melvin Fitting

Auflage

2. ed

Physische Beschreibung

XVI, 326 p. ; 25 cm.

Standardzahlen

ISBN: 0387945938
ISBN: 9781461275152

Datum

1996

Ort der Veröffentlichung

New York

Dorf

STATI UNITI

Zunge

INGLESE

Quelle

Biblioteche SBN Sardegna

IT\ICCU\TO0\0543804

Ressourcenverbindungen

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

Etikett

Bilder

Carte da disegno

Autor : Mari, Enzo <1932-2020>

Jahr : 1999

Studi e schizzi

Autor : Basile, Ernesto <1857-1932>

Jahr : 1909

Ergebnisse 2 von 20281

Alle ansehen

Texte

From logic design to logic programming : theorem proving techniques and P-functions

Autor : Snyers, Dominique

Jahr : 1987

Intuitionistic logic model theory and forcing

Autor : Fitting, Melvin Chris

Jahr : 1969

Ergebnisse 2 von 2185141

Alle ansehen

Video

Law & order : i due volti della giustizia. The first year

Jahr : 2003

The zero theorem : tutto è vanit

Jahr : 2016

Ergebnisse 2 von 69482

Alle ansehen

Audio

Women and children first

Autor : Van Halen <gruppo musicale>

Jahr : 2000

Live and private recordings in chronological order

Autor : Parker, Charlie

Jahr : 1989

Ergebnisse 2 von 23781

Alle ansehen

Kommentare

Andere laden

Schreibe einen Kommentar

Schicken

Sardinienregion

First-order logic and automated theorem proving

Etikett

Carte da disegno

Studi e schizzi

From logic design to logic programming : theorem proving techniques and P-functions

Intuitionistic logic model theory and forcing

Law & order : i due volti della giustizia. The first year

The zero theorem : tutto è vanit

Women and children first

Live and private recordings in chronological order

Kommentare