Sciweavers

4573 search results - page 48 / 915
» Automated Reasoning
Sort
View
CSL
1991
Springer
15 years 6 months ago
Logical Semantics of Modularisation
Gerard R. Renardel de Lavalette
ICLP
1991
Springer
15 years 6 months ago
Warren's Abstract Machine
Hassan Aït-Kaci
ICLP
1991
Springer
15 years 6 months ago
Introduction to Logic Programming
Jean-Marie Jacquet