Search

You searched for: Auteur McMillan, Ken; Middeldorp, Aart; Voronkov, Andrei Remove constraint Auteur: McMillan, Ken; Middeldorp, Aart; Voronkov, Andrei
1 entry found
Number of results to display per page

Search Results

1. Logic for Programming, Artificial Intelligence, and Reasoning
thumbnail
Full text!
Author:
McMillan, Ken; Middeldorp, Aart; Voronkov, Andrei; Middeldorp, Aart; Voronkov, Andrei
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book