Graph-Based Proof Procedures for Horn Clauses - Progress in Computer Science and Applied Logic - Raatz - Kirjat - Birkhauser Boston Inc - 9780817635305 - lauantai 1. joulukuuta 1990
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Graph-Based Proof Procedures for Horn Clauses - Progress in Computer Science and Applied Logic Softcover reprint of the original 1st ed. 1990 edition

Raatz

Hinta
€ 69,99

Tilattu etävarastosta

Arvioitu toimitus pe 31. tammi - ti 11. helmi

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Graph-Based Proof Procedures for Horn Clauses - Progress in Computer Science and Applied Logic Softcover reprint of the original 1st ed. 1990 edition

A large part of the monograph is devoted to detailed proofs that the methods we present are sound and complete, which in the context of the logic programming, means that the operational and denotational semantics agree.

160 pages

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä lauantai 1. joulukuuta 1990
ISBN13 9780817635305
Tuottaja Birkhauser Boston Inc
Sivujen määrä 150
Mitta 155 × 235 × 9 mm   ·   231 g
Kieli English  
Näytä kaikki

Lisää tuotteita Raatz

Katso kaikki joka sisältää Raatz ( Esim. Book Ja Paperback Book )