5 द्वारा ईबुक Aart Middeldorp
Amy P. Felty & Aart Middeldorp: Automated Deduction – CADE-25
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.The 36 revised full papers presented ( 24 full …
PDF
अंग्रेज़ी
DRM
€57.37
Aart Middeldorp & Vincent van Oostrom: Processes, Terms and Cycles: Steps on the Road to Infinity
…
PDF
अंग्रेज़ी
DRM
€115.01
Aart Middeldorp: Rewriting Techniques and Applications
This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001.The 23 revised …
PDF
अंग्रेज़ी
DRM
€57.66
Aart Middeldorp & Taisuke Sato: Functional and Logic Programming
This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPS’99) held in Tsukuba, Japan, November 11-13, 1999, and hosted by the …
PDF
अंग्रेज़ी
DRM
€57.76
Ken McMillan & Aart Middeldorp: Logic for Programming, Artificial Intelligence, and Reasoning
This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South …
PDF
अंग्रेज़ी
DRM
€57.63
