অনুরূপ উপাদানগুলি: Foundations of Logic Programming /
- The Deductive foundations of computer programming /
- Logic for applications /
- Communication and Currency /
- Máquinas y diagramas lógicos /
- Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014 Toulouse, France, June 2-6, 2014 Proceedings /
- A 25 Year Perspective on Logic Programming : Achievements of the Italian Association for Logic Programming, GULP /