Meta Programming in Logic Programming
Год выпуска: 1990
Автор: H Abramson
Издательство:
Страниц: 560
ISBN: 9780262510479
Описание Meta Programming in Logic Programming |
Похожие книги - J. C. J. M. Van Den Bergh. Meta-Analysis in Environmental Economics (Economy & Environment, Vol 12). – М.: , 0. – 0 с.
- Thomas Plummer. The Business of Fitness: Understanding the Financial Side of Owning a Fitness Business. – М.: , 0. – 0 с.
- M. Jeya Chandra. Statistical Quality Control. – М.: , 0. – 0 с.
- Eleanor Selfridge-Field. Beyond MIDI: The Handbook of Musical Codes. – М.: , 0. – 0 с.
- G. V. Morrill. Type Logical Grammar: Categorial Logic of Signs. – М.: Springer, 1994. – 328 с.
- Peter Schroeder-Heister, Kosta Dosen. Substructural Logics (Studies in Logic and Computation). – М.: Oxford University Press, 1994. – 400 с.
- Morten Heine SA?rensen, Pawel Urzyczyn. Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics). – М.: , 2006. – 456 с.
- Dov M. Gabbay. The Many Valued and Nonmonotonic Turn in Logic,8. – М.: , 2010. – 690 с.
- Michael R. Van Hentenryck. Van Hentenryck: Constraint Satisfaction In Logic Programming. – М.: , 1989. – 0 с.
- J ONO. Ono Contrib To Nephrol – Vitamin D & ?calcium?meta Bol In Renal Dis – Cont From Japan(p Only). – М.: , 1980. – 126 с.
- Frank Pfenning. Types in Logic Programming. – М.: , 1992. – 382 с.
- H Abramson. Meta Programming in Logic Programming. – М.: , 1990. – 560 с.
- Types in Logic Programming. – М.: The MIT Press, 1992. – 378 с.
- Milan Frankl. Topics in Logic - an Introduction. – М.: LAP Lambert Academic Publishing, 2010. – 144 с.
- Luis Tomas Bolivar. Improving QoS in Grids Through Meta-Scheduling in Advance. – М.: LAP Lambert Academic Publishing, 2012. – 212 с.
- Mahua Banerjee and Chiranjeev Kumar. Modular Programming Techniques using AOP and FOP. – М.: LAP Lambert Academic Publishing, 2014. – 160 с.
- Diego Colombo. Domain Driven Program Evolution. – М.: , 2010. – 160 с.
Образцы работ
Задайте свой вопрос по вашей теме
|
|
|
