Seguici su

Cerca

Torna Indietro

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

Snyers, Dominique

Informazioni

Lo trovi in

Categoria

Testo

Natura

Monografia

Titolo

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

Nomi

[Autore] Snyers, Dominique
[Autore] Thayse, Andr

Classe Dewey

511.3 LOGICA SIMBOLICA (LOGICA MATEMATICA)

Descrizione

From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, Andre Thayse

Descrizione Fisica

iv, 125 p ; 25 cm

Numeri Standard

ISBN: 0387182179
ISBN: 3540182179

Data

c1987

Luogo di pubblicazione

Berlin <etc.>

Paese

GERMANIA

Lingua

INGLESE

Fonte

Biblioteche SBN Sardegna

ID

IT\ICCU\PUV\0227922

Link Risorse

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

Tag

Immagini

Programming Google app engine

Anno : 2013

Programming Google app engine

Anno : 2013

Risultati 2 di 21653

Visualizza Tutti

Testi

First-order logic and automated theorem proving

Autore : Fitting, Melvin

Anno : 1996

Logic programming and automated reasoning : international conference LPAR '92

Autore : International conference on logic programming and automated reasoning <3. ; 1992

Anno : 1992

Risultati 2 di 2185209

Visualizza Tutti

Video

Mediaeval researches from eastern asiatic sources : fragments towards the knowledge of the geography and history of Central and Western Asia from the 13. to the 17. century

Autore : Bretschneider, Emilii Vasilevich

Anno : 1967

Midnight movies : from the margin to the mainstream

Anno : 2007

Risultati 2 di 69490

Visualizza Tutti

Audio

The Canticle of the Sun : from the Cradle to the Grave, Motets and Romances

Autore : Liszt, Franz

Anno : 1993

English madrigals and songs : [from Henry VIII to the 20th century!

Anno : 1996

Risultati 2 di 23789

Visualizza Tutti

Commenti

Carica altri

Scrivi un commento

Invia

Regione Sardegna

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

Tag

Programming Google app engine

Programming Google app engine

First-order logic and automated theorem proving

Logic programming and automated reasoning : international conference LPAR '92

Mediaeval researches from eastern asiatic sources : fragments towards the knowledge of the geography and history of Central and Western Asia from the 13. to the 17. century

Midnight movies : from the margin to the mainstream

The Canticle of the Sun : from the Cradle to the Grave, Motets and Romances

English madrigals and songs : [from Henry VIII to the 20th century!

Commenti