First-Order Dynamic Logic
| Author: D. Harel |
| Publisher: Springer |
| Publication Date: Apr 01, 1979 |
| Number of Pages: 136 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540092374 |
| ISBN-13: 9783540092377 |
Related Products
VDM Verlag Dr. Mueller E.K.
Combining First-Order Logic and Logic Programming Using Fol-programs
$53.25
Sale 7%
