Search Results for Hermenegildo, Manuel V.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

4 Results Found

0000DEFAULT

Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings

Author

Hermenegildo, Manuel V. editor. Morales, José F. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521258.1)

Electronic Access

https://doi.org/10.1007/978-3-031-44245-2

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

Author

Hermenegildo, Manuel V. editor. Cabeza, Daniel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b105205

Format:

Availability

Online Library~1

Available:
Copies:

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

Author

Garrigue, Jacques. editor. Hermenegildo, Manuel V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-78969-7

Format:

Availability

Online Library~1

Available:
Copies:

Prolog: The Next 50 Years

Author

Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.

Preferred Shelf Number

XX(521397.1)

Electronic Access

https://doi.org/10.1007/978-3-031-35254-6

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

	{displayName}	{count}
{error}