Computer Science Foundations And Applied Logic – alle Bücher

Proof Assistants and Their Applications in Mathematics and Computer Science

Computer Science Foundations and Applied Logic

Since their beginnings in the 1960s, proof assistants (also called interactive theorem provers) have grown to become essential tools to establish the correctness of hardware and software and to computeriz…

lieferbar ab 11.11.2026.

Buch

Alexander Leitsch, David Michael Cerna, Anela Lolic
First-Order Schemata and Inductive Proof Analysis

Computer Science Foundations and Applied Logic

Schemata are formal tools for describing inductive reasoning. They opened a new area in the analysis of inductive proofs.The book introduces schemata for first-order terms, first-order formulas and first-…

lieferbar innerhalb 2-3 Wochen

Buch

Stéphane Demri
Concise Introduction to Alternating-Time Temporal Logics

Computer Science Foundations and Applied Logic

The formal verification of multi-agent systems aimed at proving that such systems meet their specifications has given rise to a very active field of research at the crossroads of formal methods, knowledge…

lieferbar innerhalb 2-3 Wochen

Buch

William M. Farmer
Simple Type Theory

Computer Science Foundations and Applied Logic

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas. The book is an introduction to sim…

lieferbar innerhalb 2-3 Wochen

Buch

Mathematics and Logics in Computer Science

Algorithms for Intelligent Systems

This book presents high-quality research papers presented at the International Conference on Mathematics and Logics in Computer Science (ICMLCS 2025) held at Allenhouse Institute of Technology, Kanpur, In…

lieferbar innerhalb 2-3 Wochen

Buch

Data Science: Foundations and Applications

Lecture Notes in Computer Science - Band 16617

The two-volume set LNAI 16617-16618 constitutes the proceedings of the 30th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2026 Special Session, held in Hong Kong, China, during Jun…

lieferbar innerhalb 2-3 Wochen

Buch

Data Science: Foundations and Applications

Lecture Notes in Computer Science - Band 16618

The two-volume set LNAI 16617-16618 constitutes the proceedings of the 30th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2026 Special Session, held in Hong Kong, China, during Jun…

lieferbar innerhalb 2-3 Wochen

Buch

African Conference on Research in Computer Science and Applied Mathematics

Trends in Mathematics

This volume features selected contributions from participants of the 17th African Conference on Research in Computer Science and Applied Mathematics (CARI 2024), held at the University of Béjaïa, Algeria,…

lieferbar innerhalb 2-3 Wochen

Buch

Manuel González Canché
Data Science, Interactive Visualizations, and Generative AI Tools for the Analysis of Qualitative, Mixed-Methods, and Multimodal Evidence

Too many qualitative and mixed-methods researchers are currently being asked to make an impossible choice: either remain outside the world of advanced data science and artificial intelligence, or enter it…

lieferbar innerhalb 1-2 Wochen

Buch

Ariel Fernández Stigliano
Artificial Conscience for the Quantum Physicist

Fathom an AI system capable of making utterances like "I think therefore I am". This inward gaze, arguably a hallmark of conscience, is absent in today's intelligent machines. Yet, it is essenti…

lieferbar ab 1.9.2026.

Buch

Frontiers in Education, e-Learning, e-Business, Image Processing, and Computer Vision

Communications in Computer and Information Science - Band 2939

This book constitutes the proceedings of the 21st International Conference on Frontiers in Education, FECS 2025, and the 24th International Conference on e-Learning, e-Business, Enterprise Information Sys…

lieferbar innerhalb 2-3 Wochen

Buch

Security and Management, Wireless Networks, Software Engineering Research and Practice

Communications in Computer and Information Science - Band 2937

This book constitutes the proceedings of the 24th International Conference on Security and Management, SAM 2025, the 24th International Conference on Wireless Networks, ICWN 2025, and the 23rd Internation…

lieferbar innerhalb 2-3 Wochen

Buch

Emerging Trends in Scientific Computing and Theoretical Computer Science

Communications in Computer and Information Science - Band 2936

This book constitutes the proceedings of the 23rd International Conference on Scientific Computing, CSC 2025, and the 21st International Conference on Foundations of Computer Science, FCS 2025. They were …

lieferbar innerhalb 2-3 Wochen

Buch

Emerging Trends in Data Science, Information and Knowledge Engineering

Communications in Computer and Information Science - Band 2938

This book constitutes the proceedings of the 21st International Conference on Data Science, ICDATA 2025, and the 24th International Conference on Information and Knowledge Engineering, IKE 2025. They were…

lieferbar innerhalb 2-3 Wochen

Buch

Applied Cognitive Computing and Artificial Intelligence

Communications in Computer and Information Science - Band 2933

This book constitutes the proceedings of the 27th International Conference on Artificial Intelligence, ICAI 2025, and the 9th International Conference on Applied Cognitive Computing, ACC 2025. They were h…

lieferbar innerhalb 2-3 Wochen

Buch

Internet Computing, Internet of Things, Artificial Intelligence, and Applications

Communications in Computer and Information Science

This book constitutes the proceedings of the 26th International Conference on Internet Computing and IoT, ICOMP 2025, and the 27th International Conference on Artificial Intelligence, ICAI 2025. They were…

lieferbar innerhalb von 1-3 Tagen

Buch

Emerging Trends in Computational Biology, Biomedical Engineering, and Health Informatics

Communications in Computer and Information Science

This book constitutes the proceedings of the 26th International Conference on Bioinformatics and Computational Biology, BIOCOMP 2025; the 11th International Conference on Biomedical Engineering and Scienc…

lieferbar in mind. 4 Wochen

Buch

Trefferliste "Computer Science Foundations And Applied Logic" - alle Bücher