W. V. Marek books & textbook
Basic Forward Chaining Construction for Logic Programs
PN /1997T Paperback
Handbook of Recursive Mathematics (2 Volume Set) (Studies in Logic and the Foundations of Mathematics)
Yu. L. Ershov S. S. Goncharov Anil Nerode J. B. Remmel V. W. Marek
North Holland /1998-12-14 Hardcover / 1464 Pages
isbn-10: 044450107X / isbn-13: 9780444501073
Handbook of Bioentrepreneurship (Artificial Intelligence)
Marek, V.W. and M. Truszczynski.
Springer /1993T Hardcover
isbn-10: 0387564489 / isbn-13: 9780387564487
Andrzej Mostowski and Foundational Studies
Ehrenfeucht A. Marek V.W. Srebrny M.
IOS Press /2008-03-01 Paperback / 464 Pages
isbn-10: 161499305X / isbn-13: 9781614993056
