UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach

1, 2012

Volltextzugriff (PDF)

Weaving Self-Evidence: A Sociology of Logic

1, 2021

Volltextzugriff (PDF)

Commonsense Reasoning

Mueller, Erik T

1, 2006

Volltextzugriff (PDF)

Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings

1, 2023

Volltextzugriff (PDF)

Handbook of Spatial Logics

1. Aufl., 2007

Volltextzugriff (PDF)

Teaching mathematical reasoning in secondary school classrooms

1, 2010

Volltextzugriff (PDF)

Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings

McCune, William

1, 1997

Volltextzugriff (PDF)

CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

1990

Volltextzugriff (PDF)

Probabilistic Extensions of Various Logical Systems

1st Edition 2020, 2020

Volltextzugriff (PDF)

Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings

1st Edition 2021, 2021

Volltextzugriff (PDF)

Logic Functions and Equations: Binary Models for Computer Science

Second edition., 2019

Volltextzugriff (PDF)

A First Course in Logic

Lawson, Mark Verus

1st, 2018

Volltextzugriff (PDF)

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics

1st ed. 2021., 2021

Volltextzugriff (PDF)

Statistical Learning with Math and R: 100 Exercises for Building Logic

Suzuki, Joe

1st Edition 2020, 2020

Volltextzugriff (PDF)

Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions

1, 2022

Volltextzugriff (PDF)

A Philosophical Introduction to Higher-order Logics

Bacon, Andrew

1, 2024

Volltextzugriff (PDF)

Artificial Intelligence and Symbolic Computation: International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers

1, 2001

Volltextzugriff (PDF)

Grammatical Inference: Algorithms and Applications : 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 : Proceedings

2008

Volltextzugriff (PDF)

Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

1st Edition 2017, 2017

Volltextzugriff (PDF)

Universal Logic, Ethics, and Truth: Essays in Honor of John Corcoran (1937-2021)

1, 2024

Volltextzugriff (PDF)

An Invitation to Mathematical Logic

Marker, David

1, 2024

Volltextzugriff (PDF)

Handbook of Model Checking

1st ed. 2018., 2018

Volltextzugriff (PDF)

Logical Foundations of Cyber-Physical Systems

Platzer, André

1, 2018

Volltextzugriff (PDF)

Logic for Justice: An Introduction to Formal Logic with an Emphasis on Political Reform

Wilhelm, Isaac

1, 2024

Volltextzugriff (PDF)

Unity of Logic and Computation: 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings

1, 2023

Volltextzugriff (PDF)

1 – 25 von 5.818

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(1.798)
Mit Volltextzugriff
(5.663)

Publikationsform

3 weitere anzeigen...

Weniger anzeigen...

Sprache

4 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Thema

Logic, Symbolic And Mathematical
(4.039)
Computer Science
(3.172)
Mathematics
(2.952)
Mathematical Logic
(2.705)
Mathematical Logic And Formal Languages
(2.409)
Artificial Intelligence
(2.013)
Mathematical Logic And Foundations
(1.839)
Machine Theory
(1.610)
Congresses
(1.477)
Symbolic And Mathematical Logic
(1.423)
Logic
(1.357)
Symbolic Logic
(1.265)
Algebra Of Logic
(1.252)
Logic, Universal
(1.251)
Set Theory
(1.215)
Computers
(1.187)
Electronic Data Processing
(1.143)
Science & Technology
(1.082)
Logics And Meanings Of Programs
(1.075)
Algebra, Abstract
(1.043)

15 weitere anzeigen...

Weniger anzeigen...

Kollektion

Ebook Central Perpetual and DDA
(3.916)
eBooks on EBSCOhost
(3.835)
Ingenta
(1.761)
HEAL-Link subscriptions: Springer Book Series
(1.656)
SpringerLink
(790)
Journals@Ovid Complete
(753)
SpringerLINK Contemporary (Konsortium Baden-Württemberg)
(705)
De Gruyter eBooks
(297)
Cambridge Core All Books
(233)
Cambridge University Press online books
(224)
EZB Electronic Journals Library
(187)
ACM Digital Library
(185)
ScienceDirect eBooks
(147)
IngentaConnect Journals
(117)
Taylor & Francis eBooks A-Z
(106)
Elsevier ScienceDirect Journals Complete
(83)
JSTOR All Journals
(79)
Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
(71)
IEEE/IET Electronic Library
(64)
Reference Global
(51)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

Menü

Weitere Dienste

Einstellungen

Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach

Weaving Self-Evidence: A Sociology of Logic

Commonsense Reasoning

Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings

Handbook of Spatial Logics

Teaching mathematical reasoning in secondary school classrooms

Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings

CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

Probabilistic Extensions of Various Logical Systems

Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings

Logic Functions and Equations: Binary Models for Computer Science

A First Course in Logic

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics

Statistical Learning with Math and R: 100 Exercises for Building Logic

Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions

A Philosophical Introduction to Higher-order Logics

Artificial Intelligence and Symbolic Computation: International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers

Grammatical Inference: Algorithms and Applications : 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 : Proceedings

Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

Universal Logic, Ethics, and Truth: Essays in Honor of John Corcoran (1937-2021)

An Invitation to Mathematical Logic

Handbook of Model Checking

Logical Foundations of Cyber-Physical Systems

Logic for Justice: An Introduction to Formal Logic with an Emphasis on Political Reform

Unity of Logic and Computation: 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings

Suchergebnisse filtern