Author books / Книги автора Manuel V. Hermenegildo José F. Morales » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Manuel V. Hermenegildo José F. Morales

book Static Analysis. 30th International Symposium, SAS 2023 Cascais, Portugal, October 22–24, 2023 Proceedings

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

pdf

Author: Manuel V. Hermenegildo José F. Morales
Language: English
Year: 2023

00

02.03.2024

0

0

book Prolog: The Next 50 Years

Prolog: The Next 50 Years

epub

Author: David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi
Language: English
Year: 2023

00

01.03.2024

0

0

book Prolog: The Next 50 Year

Prolog: The Next 50 Year

pdf

Author: David S. Warren Veronica Dahl Thomas Eiter Manuel V. Hermenegildo Robert Kowalski Francesca Rossi
Language: English
Year: 2023

00

16.02.2024

0

0

book Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

pdf

Author: Manuel V. Hermenegildo Pedro Lopez-Garcia (editors)
Language: English
Year: 2017

00

29.01.2024

0

0

book Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

pdf

Author: Thomas Reps (auth.) Manuel V. Hermenegildo Germán Puebla (eds.)
Language: English
Year: 2002

00

27.01.2024

0

0

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

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

pdf

Author: Torsten Schaub (auth.) Jacques Garrigue Manuel V. Hermenegildo (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

pdf

Author: Pierre Deransart Manuel V. Hermenegildo Jan Małuszynski (auth.) Pierre Deransart Manuel V. Hermenegildo Jan Małuszynski (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

pdf

Author: Pierre Deransart Manuel V. Hermenegildo Jan Małuszynski (auth.) Pierre Deransart Manuel V. Hermenegildo Jan Małuszynski (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

pdf

Author: Thomas Reps (auth.) Manuel V. Hermenegildo Germán Puebla (eds.)
Language: English
Year: 2002

00

27.01.2024

0

0

book Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

pdf

Author: Pierre Deransart Manuel V. Hermenegildo Jan Małuszynski (auth.) Pierre Deransart Manuel V. Hermenegildo Jan Małuszynski (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0