Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-17 of 17 results for author "Hermenegildo, Manuel."
Logic programming : proceedings of the 1990 North American conference / edited by Saumya Debray and Manuel Hermenegildo.
- Text
- Cambridge, Mass : MIT Press, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSE 92-1550 Offsite Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSE 94-2087 Offsite Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / Manuel Hermenegildo, S. Doaitse Swierstra (eds.).
- Text
- Berlin ; New York : Springer, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 95-2133 Offsite Analysis and visualization tools for constraint programming : constraint debugging / Pierre Deransart, M. Hermenegildo, J. Małuszyński (eds.).
- Text
- Berlin ; New York : Springer, 2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text JSE 01-222 Offsite Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings / Manuel V. Hermenegildo, Germán Puebla, (eds.).
- Text
- Berlin : New York : Springer, c2002.
- 2002
- 1 Item
Item details Format Call Number Item Location Text JSE 02-1945 Offsite Practical aspects of declarative languages : 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings / Manuel Hermenegildo, Daniel Cabeza (eds.).
- Text
- Berlin ; New York : Springer, 2005.
- 2005
- 1 Item
Available Online
http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3350Item details Format Call Number Item Location Text JSE 05-742 Offsite Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam, eds.
- Text
- Berlin ; New York : Springer-Verlag, [1994], ©1994.
- 1994-1994
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .I5773 1994 Off-site Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / Manuel Hermenegildo, S. Doaitse Swierstra (eds.).
- Text
- Berlin ; New York : Springer, [1995], ©1995.
- 1995-1995
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .I5773 1995 Off-site Analysis and visualization tools for constraint programming : constraint debugging / Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszyński (eds.).
- Text
- Berlin ; New York : Springer, [2000], ©2000.
- 2000-2000
- 1 Item
Item details Format Call Number Item Location Text QA76.612 .A53 2000 Off-site Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings / Manuel V. Hermenegildo, Germán Puebla, (eds.).
- Text
- Berlin ; New York : Springer, [2002], ©2002.
- 2002-2002
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .I5733 2002 Off-site Practical aspects of declarative languages : 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings / Manuel Hermenegildo, Daniel Cabeza (eds.).
- Text
- Berlin ; New York : Springer, 2005.
- 2005
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .P32 2005g Off-site Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings / Jacques Garrigue, Manuel Hermenegildo (eds.).
- Text
- Berlin ; New York : Springer, [2008], ©2008.
- 2008-2008
- 2 Items
Item details Format Call Number Item Location Text Off-site Not available - Please for assistance.Item details Format Call Number Item Location Text QA76.62 .F863 2008g Off-site Logic programming : proceedings of the 1990 North American conference / edited by Saumya Debray and Manuel Hermenegildo.
- Text
- Cambridge, Mass : MIT Press, [1990], ©1990.
- 1990-1990
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .L634 1990 Off-site Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / Manuel Hermenegildo, S. Doaitse Swierstra (eds.).
- Text
- Berlin ; New York : Springer, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .I5773 1995 Off-site Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam (eds.)
- Text
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA76.7.I5773 1994 Off-site Programming languages : implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings / Manuel Hermenegildo, S. Doaitse Swierstra, eds.
- Text
- Berlin ; New York : Springer, ©1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .I5773 1995 Off-site Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam, eds.
- Text
- Berlin ; New York : Springer-Verlag, ©1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .I5773 1994 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
