„Logic Programming“

Suchergebnisse

2.836 Treffer

• Foundations of equational logic programming
  Hölldobler, Steffen 1989 Springer
• Logic programming for process planning in the domain of sheet metal forming with progressive dies
  Vosniakos, George-Christopher ; Segredou, Irene ; Giannakakis, Titos
• Enhanced prefetching and caching strategies for single- and multi-disk systems
  Büttner, Markus
• Online square and cube packing
  Epstein, Leah ; Stee, Rob van
• π-calculus with noisy channels
  Ying, Mingsheng
• Translating statements of symbolic logic into zero-one linear programming
  Seppälä, Yrjö
• Horn clause specifications – a uniform framework for abstract data types and logic programming
  Padawitz, Peter 1985 Dekanat d. Fak. für Mathematik u. Informatik, Univ.
• Algebraic and logic programming
  1988 Springer
• Algebraic and logic programming – proceedings of an international workshop held in Gaussig (GDR), November 14 - 18, 1988
  Grabowski, Jan 1988 Akad.-Verl.
• Programming language implementation and logic programming – proceedings
  Deransart, Pierre 1989 Springer
• Python for Absolute Beginners
  Campesato, Oswald 2024 Mercury Learning and Information
• Logic analyzers in practice – PC USB logic analyzers with Arduino, Raspberry Pi and Co.
  Rippel, Jörg 2024 Elektor
• Relevant logic programming
  Bollen, A. W.
• Logic programming
  1988 Springer
• Foundations of logic and functional programming – workshop, Trento, Italy, December 15 - 19, 1986 ; proceedings
  Boscarol, Mauro 1988 Springer
• Logic programming
  1987 Springer
• From logic design to logic programming – theorem proving techniques and P-functions
  Snyers, Dominique ; Thayse, André 1987 Springer
• A “Functional + Logic” programming language in interpretation-compilation implementation
  Cheng, Gang ; Yun-Zheng, Zhang
• Integrating logic and functional programming
  Ait-Kaci, Hassan ; Nasr, Roger
• On-line coloring and cliques covering for KK s,t -free graphs
  Cieślik, Iwona