Paperback
Not available for sale
Out of stock
Thirteen papers presented at an international workshop (on title) held at the Institute for Natural-Language Systems of the U. of Tubingen, FRG, December 1989. The papers are mainly concerned with the theoretical foundations, implementation, and/or applications of proof-theoretically motivated extensions of logic programming. No index. Annotation c
| ISBN: | 9780387535906 |
| Publisher: | Springer Verlag |
| Imprint: | Springer Verlag |
| Language: | English |
| Number of pages: | 364 |
| Weight: | -1g |
$10.73off
Quantum Computing Fundamentals
Paperback
Published 17 Aug 2021
Save $10.73
$9.05off
The Real Internet Architecture
Paperback
Published 01 Oct 2024
Save $9.05
$16.71off
Learning Systems Thinking
Paperback
Published 30 Jul 2024
Save $16.71
$17.13off
Platform Engineering
Paperback
Published 18 Oct 2024
Save $17.13
$8.10off
High Performance Computing
Paperback
Published 09 Dec 2024
Save $8.10
$20.44off
Head First Software Architecture
Paperback
Published 19 Mar 2024
Save $20.44
$18.10off
NGINX Cookbook
Paperback
Published 09 Feb 2024
Save $18.10
$7.92off
Embedded System Design
Paperback
Published 29 Jan 2024
Save $7.92
$8.85off
Topological Duality for Distrib...
Hardback
Published 07 Mar 2024
Save $8.85
$5.29off
Programming the 65816
Paperback
Published 31 Jan 1987
Save $5.29