Seguici su

Cerca

Torna Indietro

First-order logic and automated theorem proving

Fitting, Melvin

Informazioni

Lo trovi in

Categoria

Testo

Natura

Monografia

Titolo

First-order logic and automated theorem proving

Nomi

[Autore] Fitting, Melvin

Descrizione

First-order logic and automated theorem proving / Melvin Fitting

Edizione

2. ed

Descrizione Fisica

XVI, 326 p. ; 25 cm.

Numeri Standard

ISBN: 0387945938
ISBN: 9781461275152

Data

1996

Luogo di pubblicazione

New York

Paese

STATI UNITI

Lingua

INGLESE

Fonte

Biblioteche SBN Sardegna

ID

IT\ICCU\TO0\0543804

Link Risorse

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

Tag

Immagini

Carte da disegno

Autore : Mari, Enzo <1932-2020>

Anno : 1999

Studi e schizzi

Autore : Basile, Ernesto <1857-1932>

Anno : 1909

Risultati 2 di 20281

Visualizza Tutti

Testi

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

Autore : Snyers, Dominique

Anno : 1987

Intuitionistic logic model theory and forcing

Autore : Fitting, Melvin Chris

Anno : 1969

Risultati 2 di 2185141

Visualizza Tutti

Video

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

Anno : 2003

The zero theorem : tutto è vanit

Anno : 2016

Risultati 2 di 69482

Visualizza Tutti

Audio

Women and children first

Autore : Van Halen <gruppo musicale>

Anno : 2000

Live and private recordings in chronological order

Autore : Parker, Charlie

Anno : 1989

Risultati 2 di 23781

Visualizza Tutti

Commenti

Carica altri

Scrivi un commento

Invia

Regione Sardegna

First-order logic and automated theorem proving

Tag

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

Commenti