Kennen Sie schon unseren Geschäftskundenservice? Wir beraten Sie gerne.
Fokusthemen
Publikationen
Services
Dienstleistungen für
Corporate Books
Publishing Lösungen
Aktuelles
Autorinnen/Autoren
Verlag
Shop
Schweizer Recht
Ausländisches Recht
Über unseren Shop
Proof Theory and Logic Programming
Proof Theory and Logic Programming
Computation as Proof Search
Von:Miller Dale
Bibliografische Angaben
November 2025, Englisch
Cambridge Academic
978-1-009-56129-7
Inhaltsverzeichnis
Schlagworte
Bibliografische Angaben
November 2025, Englisch
Cambridge Academic
978-1-009-56129-7
Inhaltsverzeichnis
Schlagworte
Weitere Titel zum Thema
Revolutionizing Healthcare Services
Unleashing Innovation Through Generative AI
Taylor and Francis, 2025
978-1-032-87158-5
ca. 159.00 CHF
erhältlich ab Juni 2025
Graph Transformation
18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025, Proceedings
Springer International Publishing, 2025
978-3-031-94705-6
ca. 81.00 CHF
erhältlich ab Juli 2025
From Street-smart to Web-wise®
A Cyber Safety Training Program Built for Teachers and Designed for Children (Book 4)
Taylor and Francis, 2025
978-1-032-73864-2
ca. 79.00 CHF
erhältlich ab August 2025
Code Chronicles
The Art of Storytelling in Software
Elsevier, 2026
978-0-443-29248-4
ca. 235.00 CHF
erhältlich ab Mai 2026
Concepts of Artificial Intelligence and its Application in Modern Healthcare ...
Taylor and Francis, 2025
978-1-032-36645-6
76.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Heterogenous Computational Intelligence in Internet of Things
Taylor and Francis, 2025
978-1-032-42639-6
76.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Data Driven Applications for Industry 4.0 and Beyond
Taylor and Francis, 2025
978-1-032-64336-6
ca. 195.00 CHF
erhältlich ab Oktober 2025
Copula Additive Distributional Regression Using R
Taylor and Francis, 2025
978-1-032-97311-1
ca. 125.00 CHF
erhältlich ab Juni 2025
Ada 2022 Reference Manual. Volume 2 - Standard Libraries and Interfacing
International Standard ISO/IEC 8652:2023 (E)
Springer International Publishing, 2026
978-3-031-83731-9
ca. 102.00 CHF
erhältlich ab März 2026
Python Practice Lab
Learn How to Code through Interactive Examples
University Presses, 2026
978-0-691-24360-3
ca. 43.50 CHF
erhältlich ab März 2026
Scalable Artificial Intelligence for Healthcare
Advancing AI Solutions for Global Health Challenges
Taylor and Francis, 2025
978-1-032-76959-2
79.00 CHF
lieferbar in ca. 10-20 Arbeitstagen