Paperback
Not available for sale
Out of stock
Twenty-nine selected and seven invited papers from the September 1990 Workshop. The main conference themes were: logic programming and automated theorem proving, computational semantics for natural language, applications of non-classical logics, and partial and dynamic logics. No index. Annotation copyright Book News, Inc. Portland, Or.
| ISBN: | 9780387536866 |
| Publisher: | Springer Verlag |
| Imprint: | Springer Verlag |
| Language: | English |
| Number of pages: | 561 |
| Weight: | -1g |
$10.65off
Quantum Computing Fundamentals
Paperback
Published 17 Aug 2021
Save $10.65
$8.98off
The Real Internet Architecture
Paperback
Published 01 Oct 2024
Save $8.98
$16.27off
Learning Systems Thinking
Paperback
Published 30 Jul 2024
Save $16.27
$16.69off
Platform Engineering
Paperback
Published 18 Oct 2024
Save $16.69
$8.04off
High Performance Computing
Paperback
Published 09 Dec 2024
Save $8.04
$19.90off
Head First Software Architecture
Paperback
Published 19 Mar 2024
Save $19.90
$17.67off
NGINX Cookbook
Paperback
Published 09 Feb 2024
Save $17.67
$7.86off
Embedded System Design
Paperback
Published 29 Jan 2024
Save $7.86
$8.79off
Topological Duality for Distrib...
Hardback
Published 07 Mar 2024
Save $8.79
$5.25off
Programming the 65816
Paperback
Published 31 Jan 1987
Save $5.25