Types in Logic Programming

Logic Programming

Types in Logic Programming

Edited by Frank Pfenning

380 pp., 7 x 9 in,

  • Paperback
  • 9780262519939
  • Published: June 12, 1992
  • Publisher: The MIT Press

$30.00

  • Hardcover
  • 9780262161312
  • Published: June 12, 1992
  • Publisher: The MIT Press

$62.00

Other Retailers:

Related Books

Programming Your GPU with OpenMP
Program Proofs
Structure and Interpretation of Computer Programs
Introduction to Computation and Programming Using Python
Thinking as Computation
The Reasoned Schemer
10 PRINT CHR$(205.5+RND(1)); : GOTO 10
The Scheme Programming Language
Low-Density Parity-Check Codes
The Gödel Programming Language