Picture for Robert Kowalski

Robert Kowalski

Programming in logic without logic programming

Add code
Jan 05, 2016
Figure 1 for Programming in logic without logic programming
Viaarxiv icon

Towards a Logic-Based Unifying Framework for Computing

Add code
Apr 24, 2014
Viaarxiv icon