From logic to logic programming

Authors
Publication date 1994
Series Foundation of Computing Series
Number of pages 214
Publisher Cambridge, Mass.: The MIT Press
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Book
Permalink to this page
Back