Types in Logic Programming
Год выпуска: 1992
Автор: Frank Pfenning
Издательство:
Страниц: 382
ISBN: 9780262161312
Описание Types in Logic Programming |
Похожие книги - Donald L. Caruth, Gail D. Handlogten. Managing Compensation (and Understanding It Too) : A Handbook for the Perplexed. – М.: , 0. – 0 с.
- A. S. Troelstra, H. Schwichtenberg, C. J. van Rijsbergen, Anne S. Troelstra. Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science). – М.: , 0. – 0 с.
- G. V. Morrill. Type Logical Grammar: Categorial Logic of Signs. – М.: Springer, 1994. – 328 с.
- J. Roger Hindley and Jonathan P. Seldin. Lambda-Calculus and Combinators: An Introduction. – М.: Cambridge University Press, 2008. – 360 с.
- Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings (Lecture Notes in ... / Programming and Software Engineering). – М.: , 2010. – 297 с.
- Frank Pfenning. Types in Logic Programming. – М.: , 1992. – 382 с.
- Cnc Programming Using Fanuc Custom Macro B. – М.: , 2011. – 288 с.
- Types in Logic Programming. – М.: The MIT Press, 1992. – 378 с.
- Nivit Gill and Shailendra Singh. Biological Sequence Matching. – М.: LAP Lambert Academic Publishing, 2012. – 128 с.
Образцы работ
Задайте свой вопрос по вашей теме
|
|
|
