Articoli correlati a Foundations of Equational Logic Programming

Foundations of Equational Logic Programming - Brossura

Hölldobler, Steffen

 
9783662162132: Foundations of Equational Logic Programming
Brossura
ISBN 10: 366216213X ISBN 13: 9783662162132
Casa editrice: Springer, 2014

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Preliminaries.- Equational Logic Programming.- Universal Unification.- SLDE-Resolution.- Paramodulation.- Universal Unification by Complete Sets of Transformations.- Lazy Resolution and Complete Sets of Inference Rules for Horn Equational Theories.- Conclusion.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2014
Lingua
Inglese
ISBN 10 
366216213X
ISBN 13 
9783662162132
Rilegatura
Paperback
Contatto del produttore
non disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783540515333: Foundations of Equational Logic Programming: 353

Edizione in evidenza

ISBN 10:  354051533X ISBN 13:  9783540515333
Casa editrice: Springer, 2008
Brossura