Seguici su
Cerca Cerca nel sito

Regione Sardegna

First-order logic and automated theorem proving

Fitting, Melvin

Categoria

Natura

Titolo

First-order logic and automated theorem proving

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

ID

IT\ICCU\TO0\0543804
Biblioteca del Distretto tecnologico – sezione Matematica e informatica

Tag

Commenti

Scrivi un commento

Invia