Komm zurück

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

Snyers, Dominique

Information

Sie können es in finden

Kategorie

Testo

Natur

Monografia

Titel

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

Namen

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

Dewey -Klasse

511.3 LOGICA SIMBOLICA (LOGICA MATEMATICA)

Beschreibung

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

Physische Beschreibung

iv, 125 p ; 25 cm

Standardzahlen

ISBN: 0387182179
ISBN: 3540182179

Datum

c1987

Ort der Veröffentlichung

Berlin <etc.>

Dorf

GERMANIA

Zunge

INGLESE

Quelle

Biblioteche SBN Sardegna

IT\ICCU\PUV\0227922

Ressourcenverbindungen

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

Etikett

Bilder

Programming Google app engine

Jahr : 2013

Programming Google app engine

Jahr : 2013

Ergebnisse 2 von 21653

Alle ansehen

Texte

First-order logic and automated theorem proving

Autor : Fitting, Melvin

Jahr : 1996

Logic programming and automated reasoning : international conference LPAR '92

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

Jahr : 1992

Ergebnisse 2 von 2185209

Alle ansehen

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

Autor : Bretschneider, Emilii Vasilevich

Jahr : 1967

Midnight movies : from the margin to the mainstream

Jahr : 2007

Ergebnisse 2 von 69490

Alle ansehen

Audio

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

Autor : Liszt, Franz

Jahr : 1993

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

Jahr : 1996

Ergebnisse 2 von 23789

Alle ansehen

Kommentare

Andere laden

Schreibe einen Kommentar

Schicken

Sardinienregion

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

Etikett

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!

Kommentare