The Computational Model of a Logical Visual Programming Language (12)
Download:
|
|
by Universitat-gesamthochschule Paderborn, Sekretariat E, Coffee Break, Igor D Urd
http://www.uni-paderborn.de/fachbereich/AG/agklbue/staff/dunker/papers/gi94.ps
Add To MetaCart
Abstract:
Some open problems in automated deduction
Citations
| 1 | Borger und Dean Rosenzweig. A Mathematical Definition of Full Prolog – Egon - 1994 |
