Extensions of Logic Programming Enlarge image

Extensions of Logic Programming

Peter Schroeder-Heist
okładka miękka
266,50 zł

Sprowadzamy na zamówienie


Do koszyka

Opis produktu

Extensions of Logic Programming - Peter Schroeder-Heist


This volume contains papers presented at an international workshop. It gives an overview of various approaches to extending logic programming, concentrating on proof-theoretic extensions developed recently, which put a new emphasis on hypothetical reasoning.

Szczegóły

Extensions of Logic Programming

Peter Schroeder-Heist
luty 1991
Springer-Verlag GmbH
376
354053590X
9783540535904
235 x 155 x 20

Recenzje

Napisz własną recenzję
Extensions of Logic Programming - Peter Schroeder-Heist

Historia przeglądania