Name: Graph-Based Proof Procedures for Horn Clauses
Price: 798.95 DKK
Availability: InStock
Author: RAATZ
ISBN: 9780817635305

Graph-Based Proof Procedures for Horn Clauses af RAATZ

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
798,95 kr.

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

Forlag:
Birkhauser Boston Inc

Indbinding:
Paperback

Sideantal:
150

Udgivet:
1. december 1990

Udgave:
11990

Vægt:
435 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 27. november 2024

Normalpris

BLACK NOVEMBER
798,95 kr. + Fragt
~~798,95 kr.~~

Medlemspris

748,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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:

Business og læring

Graph-Based Proof Procedures for Horn Clauses - RAATZ - Bog

Bag om RAATZ

Beskrivelse af Graph-Based Proof Procedures for Horn Clauses

Brugerbedømmelser af Graph-Based Proof Procedures for Horn Clauses

Gør som tusindvis af andre bogelskere