Capa do artigo Graph-Based Proof Procedures For Horn Clauses

10% OFF

Graph-Based Proof Procedures For Horn Clauses eBook

Name: Graph-Based Proof Procedures For Horn Clauses
Price: 59.61 EUR
Author: Raatz
ISBN: 9781489935564

by Raatz

language: english

Publisher: BIRKHAUSER BOSTON, November of 2013 ‧ see product details

(0)

be the first to comment

59,61€

10% OFF CARD

IMMEDIATE AVAILABILITY

Ebook for ADE

SYNOPSIS

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.

DETeBook com proteção para wookreaderILS

Graph-Based Proof Procedures For Horn Clauses

by Raatz
Property	Description
ISBN:	9781489935564
Publisher:	BIRKHAUSER BOSTON
Release Date:	November of 2013
Language:	English
Format:	eBook
Collection:	Progress In Computer Science And Applied Logic
Categories:	eBooks in English > Dictionaries and Encyclopedias > Encyclopedias
EAN:	9781489935564

BOOKS FROM THE SAME COLLECTION

eBook

10%

Temporal Type Theory

David I. SpivakandPatrick Schultz

Springer International Publishing

145,09€ 10% CARD
10%

Communism And Nationalism In Postwar Cyprus, 1945-1955

Alexios Alecou

Springer International Publishing AG

60,82€ 10% CARD

free shipping
10%

Advances In Proof Theory

BIRKHAUSER VERLAG AG

121,66€ 10% CARD

free shipping
eBook

10%

Mathematical Logic

Wei Li

Springer Basel

59,61€ 10% CARD

SEE MORE TITLES FROM THIS COLLECTION