Yazar
Aart Middeldorp
6 cilt bulundu.
Aart Middeldorp · Springer
369 sayfa · 1999
Logic programming / Functional programming (Computer science) / Congresses
Ken McMillan, Aart Middeldorp, Andrei Voronkov · Springer London, Limited
732 sayfa · 2012
Logic programming / Artificial intelligence / Automatic theorem proving / Reasoning / Artificial Intelligence (incl. Robotics)
Amy P. Felty, Aart Middeldorp · Springer
668 sayfa · 2015
Logic, symbolic and mathematical / Automatic theorem proving
Aart Middeldorp, Vincent van Oostrom · Springer
639 sayfa · 2006
Lambda calculus / Machine theory / Rewriting systems (Computer science) / Mathematical Logic and Formal Languages / Lambda-Kalkül
Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer · Springer London, Limited
Sayfa sayısı yok · 2005
Calculus