Regresar

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

Snyers, Dominique

Información

Puedes encontrarlo en

Categoría

Testo

Naturaleza

Monografia

Título

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

Nombres

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

Clase de Dewey

511.3 LOGICA SIMBOLICA (LOGICA MATEMATICA)

Descripción

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

Descripción física

iv, 125 p ; 25 cm

Números estándar

ISBN: 0387182179
ISBN: 3540182179

Fecha

c1987

Lugar de publicacion

Berlin <etc.>

Aldea

GERMANIA

Lengua

INGLESE

Fuente

Biblioteche SBN Sardegna

IT\ICCU\PUV\0227922

Enlaces de recursos

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

Etiqueta

Imágenes

Programming Google app engine

Año : 2013

Programming Google app engine

Año : 2013

Resultados 2 de 21653

Ver todo

Textos

First-order logic and automated theorem proving

Autor : Fitting, Melvin

Año : 1996

Logic programming and automated reasoning : international conference LPAR '92

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

Año : 1992

Resultados 2 de 2185209

Ver todo

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

Año : 1967

Midnight movies : from the margin to the mainstream

Año : 2007

Resultados 2 de 69491

Ver todo

Audio

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

Autor : Liszt, Franz

Año : 1993

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

Año : 1996

Resultados 2 de 23789

Ver todo

Comentario

Cargar a otros

Escribir un comentario

Enviar

Región de sardinia

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

Etiqueta

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!

Comentario