„Logic Programming“

Suchergebnisse

2.836 Treffer

• An axiomatic definition of the programming language PASCAL
  Hoare, Charles A. R. ; Wirth, Niklaus
• Querying Relational Databases with Speech-Recognition Driven by Contextual Knowledge
  Seipel, Dietmar ; Förster, Benjamin ; Liebl, Magnus ; Waleska, Marcel ; Abreu, Salvador 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Logic Programming approach for Access Control over RDF
  Lopes, Nuno ; Kirrane, Sabrina ; Zimmermann, Antoine ; Polleres, Axel ; Mileo, Alessandra 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Special issue: Synthesis and SYNT 2014
  Chatterjee, Krishnendu ; Ehlers, Rüdiger
• Explainability requirements as hyperproperties
  Finkbeiner, Bernd ; Siber, Julian
• Well quasi-orders and regular languages
  Luca, Aldo de ; Varricchio, Stefano
• An analysis of two related loop-free algorithms for generating integer partitions
  Fenner, T. I. ; Loizou, George
• Using Feature-Based Description Logics to avoid Duplicate Elimination in Object-Relational Query Languages
  Toman, David ; Weddell, Grant E.
• Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems
  Gasquet, Olivier ; Goranko, Valentin ; Schwarzentruber, François
• Axioms for total correctness
  Sokołowski, Stefan
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
  Sannella, Donald ; Sokołowski, Stefan ; Tarlecki, Andrzej
• Constable, R. L./Johnson, S. D./Eichenlaub, C. D., An Introduction to the PL/CV2 Programming Logic. Berlin‐Heidelberg‐New York, Springer‐Verlag 1982. X, 292 S., DM 32,80. US $ 14.60. ISBN 3‐540‐11492‐0 (Lecture Notes in Computer Science 135)
  Bachmann, P.
• Lloyd, J. W.: Foundations of Logic Programming. Springer‐Verlag, Berlin – Heidelberg New York – Tokyo, 1984, X, 124 pp., DM 49, – ISBN 3‐540‐13299‐6
  Seese, D.
• Wada, E. (Ed.) Logic Programming 86, Proceedings of the 5th Conference Tokyo, Japan, June 23–26, 1986. Lecture Notes in Computer Science 264. Springer‐Verlag, Berlin ‐ Heidelberg ‐ New York ‐ London ‐ Paris ‐ Tokyo 1987, VI, 179 pp., DM 31, 50
  Seese, D.
• Shapiro, E. (Ed.): Third International Conference on Logic Programming. Proc. London 1986. Lecture Notes in Computer Science 225. Springer‐Verlag, Berlin – Heidelberg – New York – London – Paris – Tokyo 1986, ix, 720 S., DM 82.–
  Issel, W.
• Synchronizable deterministic pushdown automata and the decidability of their equivalence
  Culik, Karel ; Karhumäki, Juhani
• From logic to logic programming – by Kees Doets. The MIT Press, 55 Haywood Street, Cambridge, MA, 196 pp., $32.50 (hardbound), ISBN 0-262-04142-1
  Ashbacher, Charles
• A Concise Introduction to Software Engineering – With Open Source and GenAI
  Jalote, Pankaj 2025 Springer Nature Switzerland, Imprint: Springer
• Maths For Computing – A Beginner's Guide
  Charatan, Quentin ; Kans, Aaron 2025 Springer Nature Switzerland, Imprint: Springer
• A First Introduction to Quantum Computing and Information
  Zygelman, Bernard 2025 Springer International Publishing, Imprint: Springer