Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
Sachbuch
LOKI
Semaphor
DE
|
FR
Anmelden
Registrieren
LEXIA
Zeitschriften
Sachbuch
LOKI
Semaphor
DE
|
FR
Fokusthemen
Thema
Recht studieren
Arbeitsrecht
Studium
Familienrecht
Sozialversicherungsrecht
Strafrecht
Publikationen
Literatur
Onlinemodule LEXIA
Bücher
Buchreihen
Zeitschriften
Datenbanken
recht.ch
Studienliteratur
Services
Dienstleistungen für
Corporate Books
Publishing Lösungen
Aktuelles
Geschäftskunden
Corporate Publishing
Content solutions
Buchhandlungen
Veranstaltungen
Presse
Dozierende
Studierende
Inserierende
Newsletter
Blog
Autorinnen/Autoren
Unsere Schreibenden
Hilfe
Unsere Autorinnen und Autoren
Autorenlounge
Bei uns publizieren
Autorenstimmen
Verlag
Über uns
Themen
Mehr wissen
Mitarbeitende
Nachhaltigkeit
Newsletter
Geschichte
Open Access
Vision und Mission
Karriere
Unser Magazin
Unternehmenskultur
Partner
Kontakt
Shop
Schweizer Recht
Ausländisches Recht
Über unseren Shop
Neuerscheinungen
Neuerscheinungen
Sortiment und Funktionen
Vorankündigungen
Vorankündigungen
Nach Rechtsgebiet
Kommentare
Anmelden
Registrieren
Newsletteraktion:
Abonnieren Sie jetzt unseren Newsletter und sichern Sie sich bis zum 8. August 2025
10% Rabatt
auf Ihre Onlinebestellungen.
Infos und Anmeldung.
Download Cover
Superposition for Higher-Order Logic
Superposition for Higher-Order Logic
Von:
Bentkamp, Alexander
Buch (broschiert)
ca. 146.00 CHF
erscheint im Dezember
In den Warenkorb
Bibliografische Angaben
Dezember 2025
,
Lecture Notes in Computer Science
,
Englisch
Springer International Publishing
978-3-032-01669-0
Schlagworte
Bibliografische Angaben
Dezember 2025
,
Lecture Notes in Computer Science
,
Englisch
Springer International Publishing
978-3-032-01669-0
Schlagworte
Weitere Titel der Reihe: Lecture Notes in Computer Science
Alle anzeigen
Consolidated Ada 2022 Reference Manual. Volume 1 - Core Language
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Taft, S. Tucker
|
Duff, Robert A.
|
Brukardt, Randall L.
Springer International Publishing
,
2026
978-3-031-83730-2
ca. 102.00 CHF
erscheint im März
Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries and ...
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Taft, S. Tucker
|
Duff, Robert A.
|
Brukardt, Randall L.
Springer International Publishing
,
2026
978-3-031-83731-9
ca. 102.00 CHF
erscheint im März
Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, ...
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Taft, S. Tucker
|
Duff, Robert A.
|
Brukardt, Randall L.
Springer International Publishing
,
2026
978-3-031-83734-0
ca. 102.00 CHF
erscheint im März
Transactions on Large-Scale Data- and Knowledge-Centered Systems LVIII
Hameurlain, Abdelkader
|
Tjoa, A Min
Springer
,
2025
978-3-662-72115-5
ca. 103.00 CHF
erscheint im Dezember
Logic-Based Program Synthesis and Transformation
35th International Symposium, LOPSTR 2025, Rende, Italy, September 9–10, 2025, Proceedings
Escobar, Santiago
|
Titolo, Laura
Springer International Publishing
,
2025
978-3-032-04847-9
ca. 81.00 CHF
erscheint im November
Document Analysis and Recognition – ICDAR 2025
19th International Conference, Wuhan, China, September 17–21, 2025, Proceedings, Part IV
Yin, Xu-Cheng
|
Karatzas, Dimosthenis
|
Lopresti, Daniel
Springer International Publishing
,
2025
978-3-032-04626-0
ca. 188.00 CHF
erscheint im November
Document Analysis and Recognition – ICDAR 2025
19th International Conference, Wuhan, China, September 17–21, 2025, Proceedings, Part III
Yin, Xu-Cheng
|
Karatzas, Dimosthenis
|
Lopresti, Daniel
Springer International Publishing
,
2025
978-3-032-04623-9
ca. 188.00 CHF
erscheint im November
Document Analysis and Recognition – ICDAR 2025
19th International Conference, Wuhan, China, September 17–21, 2025, Proceedings, Part V
Yin, Xu-Cheng
|
Karatzas, Dimosthenis
|
Lopresti, Daniel
Springer International Publishing
,
2025
978-3-032-04629-1
ca. 188.00 CHF
erscheint im November
Fundamentals of Computation Theory
25th International Symposium, FCT 2025, Wrocław, Poland, September 15–17, 2025, Proceedings
Jeż, Artur
|
Otop, Jan
Springer International Publishing
,
2025
978-3-032-04699-4
ca. 102.00 CHF
erscheint im November
Document Analysis and Recognition – ICDAR 2025
19th International Conference, Wuhan, China, September 16–21, 2025, Proceedings, Part II
Yin, Xu-Cheng
|
Karatzas, Dimosthenis
|
Lopresti, Daniel
Springer International Publishing
,
2025
978-3-032-04616-1
ca. 188.00 CHF
erscheint im November
Document Analysis and Recognition – ICDAR 2025
19th International Conference, Wuhan, China, September 16–21, 2025, Proceedings, Part I
Yin, Xu-Cheng
|
Karatzas, Dimosthenis
|
Lopresti, Daniel
Springer International Publishing
,
2025
978-3-032-04613-0
ca. 273.00 CHF
erscheint im November
Artificial Neural Networks and Machine Learning – ICANN 2025
34th International Conference on Artificial Neural Networks, Kaunas, Lithuania, September 9–12, 2025, Proceedings, Part I
Senn, Walter
|
Sanguineti, Marcello
|
Saudargiene, Ausra
Springer International Publishing
,
2025
978-3-032-04557-7
ca. 102.00 CHF
erscheint im Oktober
Weitere Titel zum Thema
Spezialangebot «Formeln» und «Algebra»
hep Verlag
|
Marthaler, Hans
|
Jakob, Benno
hep Verlag
,
2025
978-3-0355-2907-4
83.00 CHF
sofort lieferbar
The Logic, Philosophy, and History of the Lambda-Calculus
Theory and Applications
Zerpa, Levis
Springer International Publishing
,
2025
978-3-031-72850-1
ca. 179.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Im Bogen zum Ziel: quadratische Gleichungen und Funktionen
Frei, Esther
|
Jankovics, Peter
Compendio Bildungsmedien
,
2025
978-3-7155-0127-7
ca. 49.00 CHF
erscheint im September
Logik für die Informatik
Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
Junker, Markus
Springer
,
2025
978-3-662-70824-8
ca. 49.90 CHF
erscheint im September
Descriptional Complexity of Formal Systems
26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22–24, 2025, Proceedings
Malcher, Andreas
|
Prigioniero, Luca
Springer International Publishing
,
2025
978-3-031-97099-3
ca. 159.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Wozu eigentlich Mathe?
So unterhaltsam und nützlich ist Mathe im Alltag. Wozu wir Mathe wirklich brauchen. Für Kinder ab 9 Jahren
DK Verlag - Kids
Dorling Kindersley Verlag
,
2025
978-3-8310-5046-8
21.50 CHF
sofort lieferbar
An Intellectual History of Science in the Renaissance
Part I: Cultural & Fundamental Frameworks
Pisano, Raffaele
Springer International Publishing
,
2025
978-3-031-90489-9
ca. 168.00 CHF
erscheint im September
Mathematik interaktiv und verständlich
für Naturwissenschaftler, Ingenieure und Mediziner
Keller, Laura Gioia Andrea
Spektrum
,
2025
978-3-662-65547-4
71.00 CHF
sofort lieferbar
Automated Deduction – CADE 30
30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings
Barrett, Clark
|
Waldmann, Uwe
Springer International Publishing
,
2025
978-3-031-99983-3
ca. 55.90 CHF
lieferbar in ca. 20-45 Arbeitstagen
Starthilfe Finanzmathematik
Zinsen – Kurse – Renditen
Luderer, Bernd
Springer Fachmedien Wiesbaden GmbH
,
2025
978-3-658-46680-0
ca. 53.50 CHF
lieferbar in ca. 20-45 Arbeitstagen
Causal Discovery
Foundations, Algorithms and Applications
Sucar, Luis Enrique
Springer International Publishing
,
2025
978-3-031-98344-3
ca. 116.00 CHF
erscheint im September
Fuzzy Mathematics
A Fundamental Introduction
Syropoulos, Apostolos
Springer International Publishing
,
2025
978-3-031-73833-3
ca. 56.90 CHF
lieferbar in ca. 20-45 Arbeitstagen