Zoeken

U zocht naar: Auteur McMillan, Ken; Middeldorp, Aart; Voronkov, Andrei Filter Auteur: McMillan, Ken; Middeldorp, Aart; Voronkov, Andrei weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

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