De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Graph-Based Proof Procedures for Horn Clauses

Graph-Based Proof Procedures for Horn Clauses

af RAATZ

indgår i Progress in Computer Science and Applied Logic serien

Graph-Based Proof Procedures for Horn Clauses af RAATZ
Bag om 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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780817635305
  • Indbinding:
  • Paperback
  • Sideantal:
  • 150
  • Udgivet:
  • 1. december 1990
  • Udgave:
  • 11990
  • Vægt:
  • 435 g.
  • 8-11 hverdage.
  • 9. december 2024

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Bag om RAATZ

Vis alle bøger af RAATZ

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



Andre købte også..
Find lignende bøger
Bogen Graph-Based Proof Procedures for Horn Clauses findes i følgende kategorier: