Revenir

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

Snyers, Dominique

Information

Vous pouvez le trouver dans

Catégorie

Testo

Nature

Monografia

Titre

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

Des noms

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

Classe Dewey

511.3 LOGICA SIMBOLICA (LOGICA MATEMATICA)

Description

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

Description physique

iv, 125 p ; 25 cm

Nombres standard

ISBN: 0387182179
ISBN: 3540182179

Date

c1987

Place de publication

Berlin <etc.>

Village

GERMANIA

Langue

INGLESE

Source

Biblioteche SBN Sardegna

IT\ICCU\PUV\0227922

Liens de ressources

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

Étiqueter

Images

Programming Google app engine

Année : 2013

Programming Google app engine

Année : 2013

Résultats 2 de 21653

Voir tout

Des textes

First-order logic and automated theorem proving

Auteur : Fitting, Melvin

Année : 1996

Logic programming and automated reasoning : international conference LPAR '92

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

Année : 1992

Résultats 2 de 2185209

Voir tout

Vidéo

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

Auteur : Bretschneider, Emilii Vasilevich

Année : 1967

Midnight movies : from the margin to the mainstream

Année : 2007

Résultats 2 de 69491

Voir tout

l\'audio

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

Auteur : Liszt, Franz

Année : 1993

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

Année : 1996

Résultats 2 de 23789

Voir tout

commentaires

Chargez les autres

Écrire un commentaire

Envoyer

Sardaigne

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

Étiqueter

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!

commentaires