10% OFF

Logic Programming

Operational Semantics And Proof Theory

by James H. (Simon Fraser University, British Columbia) Andrews
language: english
Publisher: CAMBRIDGE UNIVERSITY PRESS, August of 2004 ‧
51,37€
10% OFF CARD
free shipping
Sell ​​your book
The author provides a homogeneous treatment of the semantics of both theoretical and practical logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies need to consult this book as the only source for some essential and new ideas in the area.

Logic Programming

Operational Semantics And Proof Theory

by James H. (Simon Fraser University, British Columbia) Andrews

Property Description
ISBN: 9780521607544
Publisher: CAMBRIDGE UNIVERSITY PRESS
Release Date: August of 2004
Language: English
Cover: Softcover
Pages: 120
Format: Book
Collection: Distinguished Dissertations In Computer Science
Categories: Books in English > Computing > Schedule
Books in English > Computing > Introduction to Computing
EAN: 9780521607544

BOOKS FROM THE SAME COLLECTION