Kanálat - Prolog / :: Biblioteca ITESO

Geahča maid: Prolog /

Fáddá: Lenguajes de Programación - Tema Principal

Fáddá: Programación Lógica (Software)

Njuolggogeahčasteapmi
Prolog /
Njuolggogeahčasteapmi
Prolog /
Njuolggogeahčasteapmi
Essential Mathcad for Engineering, Science, and Math ISE /
Njuolggogeahčasteapmi
Modern Compiler Design /
Njuolggogeahčasteapmi
Advances in Artificial Intelligence : SBIA 2012 : 21th Brazilian Symposium on Artificial Intelligence, Curitiba, Brazil, October 20-25, 2012 : Proceedings /
Njuolggogeahčasteapmi
Logic, Language, Information, and Computation : 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014 : Proceedings /
Njuolggogeahčasteapmi
Logical Aspects of Computational Linguistics : 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014 : Proceedings /
Njuolggogeahčasteapmi
Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops : BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert Madrid, Spain, September 23-24, 2013 : Revised Selected Papers /
Njuolggogeahčasteapmi
Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : Proceedings /
Njuolggogeahčasteapmi
Software Language Engineering : 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014 : Proceedings /
Njuolggogeahčasteapmi
Specification, Algebra, and Software : Essays Dedicated to Kokichi Futatsugi /
Njuolggogeahčasteapmi
Pristine Perspectives on Logic, Language, and Computation : ESSLLI 2012 and ESSLLI 2013, Student Sessions : Selected Papers /
Njuolggogeahčasteapmi
Programming Languages and Systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014 : Proceedings /
Njuolggogeahčasteapmi
Programming Languages and Systems : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : Proceedings /
Njuolggogeahčasteapmi
Verified Software : Theories, Tools and Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : Revised Selected Papers /

Dahkki: Giannesini, Francis (autor)

© 2026 Catálogo Público de la Biblioteca V/F -- v.11.0