Treffer 1 - 20 von 683 für Suche 'Hermenegildo, Manuel', Suchdauer: 1,15s Treffer weiter einschränken
  1. 1
    Analysis and Transformation of Constrained Horn Clauses for Program Verification

    Analysis and Transformation of Constrained Horn Clauses for Program Verification von DE ANGELIS, EMANUELE, FIORAVANTI, FABIO, GALLAGHER, JOHN P., HERMENEGILDO, MANUEL V., PETTOROSSI, ALBERTO, PROIETTI, MAURIZIO


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    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 von Hermenegildo, Manuel V, Morales, José F

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Parallel Logic Programming: A Sequel

    Parallel Logic Programming: A Sequel von DOVIER, AGOSTINO, FORMISANO, ANDREA, GUPTA, GOPAL, HERMENEGILDO, MANUEL V., PONTELLI, ENRICO, ROCHA, RICARDO


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Some Thoughts on How to Teach Prolog

    Some Thoughts on How to Teach Prolog von Hermenegildo, Manuel V., Morales, Jose F., Lopez-Garcia, Pedro


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Teaching Prolog with Active Logic Documents

    Teaching Prolog with Active Logic Documents von Morales, Jose F., Abreu, Salvador, Ferreiro, Daniela, Hermenegildo, Manuel V.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Introduction to Prolog

    Introduction to Prolog von Warren, David S.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Incremental and Modular Context-sensitive Analysis

    Incremental and Modular Context-sensitive Analysis von GARCIA-CONTRERAS, ISABEL, MORALES, JOSÉ F., HERMENEGILDO, MANUEL V.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Logical English for Law and Education

    Logical English for Law and Education von Kowalski, Robert, Dávila, Jacinto, Sartor, Galileo, Calejo, Miguel


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Reverse Template Processing Using Abstract Interpretation

    Reverse Template Processing Using Abstract Interpretation von Lemerre, Matthieu


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Fifty Years of Prolog and Beyond

    Fifty Years of Prolog and Beyond von KÖRNER, PHILIPP, LEUSCHEL, MICHAEL, BARBOSA, JOÃO, COSTA, VÍTOR SANTOS, DAHL, VERÓNICA, HERMENEGILDO, MANUEL V., MORALES, JOSE F., WIELEMAKER, JAN, DIAZ, DANIEL, ABREU, SALVADOR, CIATTO, GIOVANNI


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Simply Logical – The First Three Decades

    Simply Logical – The First Three Decades von Flach, Peter, Sokol, Kacper, Wielemaker, Jan


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Types, Modes and so Much More – The Prolog Way

    Types, Modes and so Much More – The Prolog Way von Hermenegildo, Manuel V., Morales, Jose F., Lopez-Garcia, Pedro, Carro, Manuel


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Dynamic Logic Programming

    Dynamic Logic Programming von Genesereth, Michael


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Simultaneously Teaching Mathematics and Prolog in School Curricula: A Mutual Benefit

    Simultaneously Teaching Mathematics and Prolog in School Curricula: A Mutual Benefit von Cervoni, Laurent, Brasseur, Julien, Rohmer, Jean


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Prolog: Past, Present, and Future

    Prolog: Past, Present, and Future von Gupta, Gopal, Salazar, Elmer, Shakerin, Farhad, Arias, Joaquín, Varanasi, Sarat Chandra, Basu, Kinjal, Wang, Huaduo, Li, Fang, Erbatur, Serdar, Padalkar, Parth, Rajasekharan, Abhiramon, Zeng, Yankai, Carro, Manuel


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Logic Programming at Elementary School: Why, What and How Should We Teach Logic Programming to Children?

    Logic Programming at Elementary School: Why, What and How Should We Teach Logic Programming to Children? von Cecchi, Laura A., Rodríguez, Jorge P., Dahl, Verónica


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Combining Logic Programming and Imperative Programming in LPS

    Combining Logic Programming and Imperative Programming in LPS von Kowalski, Robert, Sadri, Fariba, Calejo, Miguel, Dávila, Jacinto


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    The Janus System: A Bridge to New Prolog Applications

    The Janus System: A Bridge to New Prolog Applications von Andersen, Carl, Swift, Theresa


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Writing Correct Prolog Programs

    Writing Correct Prolog Programs von Warren, David S.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Ergo: A Quest for Declarativity in Logic Programming

    Ergo: A Quest for Declarativity in Logic Programming von Grosof, Benjamin, Kifer, Michael, Swift, Theresa, Fodor, Paul, Bloomfield, Janine


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: