scientific article; zbMATH DE number 1292287
From MaRDI portal
Publication:4244295
zbMATH Open0925.68099MaRDI QIDQ4244295FDOQ4244295
Authors: Cees Witteveen 
Publication date: 27 May 1999
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 587821
- Complete extension of general logic programs
- scientific article; zbMATH DE number 3890698
- scientific article; zbMATH DE number 4160108
- Proof-theoretic and higher-order extensions of logic programming
- On computing logic programs
- Complexity of computing with extended propositional logic programs
- Deducing Logic Programs
Logic programming (68N17) Logic in artificial intelligence (68T27) Logic in computer science (03B70)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4244295)
