Graph-Based Proof Procedures for Horn Clauses
- Indbinding:
- Paperback
- Sideantal:
- 150
- Udgivet:
- 1. December 1990
- Udgave:
- 11990
- Vægt:
- 435 g.
Leveringstid:
8-11 hverdage
Forventet levering: 4. Oktober 2024
Beskrivelse af Graph-Based Proof Procedures for Horn Clauses
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.
Brugerbedømmelser af Graph-Based Proof Procedures for Horn Clauses
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Graph-Based Proof Procedures for Horn Clauses findes i følgende kategorier:
© 2024 Pling BØGER Registered company number: DK43351621