Prolog von Tate, Bruce 1965-

lizenzpflichtig

Game development with Ren'Py introduction to visual novel games using Ren'Py, TyranoBuilder, and twine von Ciesla, Robert

lizenzpflichtig

Arithmetic and logic in computer systems von Lu, Mi

lizenzpflichtig

Foundations of deductive databases and logic programming

lizenzpflichtig

Verification, model checking, and abstract interpretation 25th international conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, proceedings, part II

Volltext

Verification, model checking, and abstract interpretation 25th international conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, proceedings, part I

Volltext

Human and artificial rationalities second international conference, HAR 2023, Paris, France, September 19–22, 2023, proceedings

Volltext

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings

Volltext

Algorithmic discrimination and ethical perspective of artificial intelligence

DE-522
DE-634
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-188
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-824
DE-29
DE-739
URL des Erstveröffentlichers

Developments in language theory 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, proceedings

Volltext

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings

Volltext

Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Volltext

Verification, model checking, and abstract interpretation 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, proceedings

Volltext

Logic and its applications 10th Indian conference, ICLA 2023, Indore, India, March 3–5, 2023, proceedings

Volltext

R-Calculus, IV: Propositional Logic von Li, Wei, Sui, Yuefei

Volltext

Introducing Robotic Process Automation to Your Organization A Guide for Business Leaders von Fantina, Robert, Storozhuk, Andriy, Goyal, Kamal

DE-1043
DE-1046
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-1051
DE-898
DE-859
DE-860
DE-863
DE-862
DE-523
DE-355
DE-20
DE-706
URL des Erstveröffentlichers

Software engineering and formal methods 20th international conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, proceedings

Volltext

Tools and algorithms for the construction and analysis of systems 28th international conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice o...

kostenfrei
kostenfrei

R-Calculus, II: Many-Valued Logics von Li, Wei, Sui, Yuefei

Volltext

Implementation and application of automata 26th international conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, proceedings

Volltext