Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- free variable 5 Treffer
- normal form 4 Treffer
- wide sense 4 Treffer
- belief revision 3 Treffer
- conjunctive normal form 3 Treffer
-
45 weitere Werte:
- deduction theorem 3 Treffer
- predicate calculus 3 Treffer
- propositional calculus 3 Treffer
- type theory 3 Treffer
- axiom scheme 2 Treffer
- blind deconvolution 2 Treffer
- complete theory 2 Treffer
- effective procedure 2 Treffer
- fundamental theorem 2 Treffer
- inaccessible cardinal 2 Treffer
- individual constant 2 Treffer
- modal logic 2 Treffer
- natural deduction 2 Treffer
- order logic 2 Treffer
- relation symbol 2 Treffer
- transitive model 2 Treffer
- truth table 2 Treffer
- unification algorithm 2 Treffer
- accessibility relation 1 Treffer
- alphabetical order 1 Treffer
- arid regions 1 Treffer
- axiom system 1 Treffer
- binary number 1 Treffer
- binary tree 1 Treffer
- boolean algebra 1 Treffer
- cats 1 Treffer
- cattle 1 Treffer
- classical logic 1 Treffer
- climate change 1 Treffer
- common language 1 Treffer
- completeness theorem 1 Treffer
- concept lattice 1 Treffer
- conceptual structure 1 Treffer
- consistent theory 1 Treffer
- control layer 1 Treffer
- correspondence theory 1 Treffer
- coupling coefficient 1 Treffer
- data flow 1 Treffer
- decision tree 1 Treffer
- diet 1 Treffer
- differential interference contrast 1 Treffer
- direct object 1 Treffer
- disjunctive normal form 1 Treffer
- dispositional property 1 Treffer
- diversity 1 Treffer
Verlag
Publikation
- mathematical logic : an introduction to model theory 9 Treffer
- introduction to axiomatic set theory 6 Treffer
- semantical investigations in heyting's intuitionistic logic 4 Treffer
- elementary logic : for software development 3 Treffer
- an introduction to mathematical logic and type theory: to truth through proof 2 Treffer
-
38 weitere Werte:
- automation of reasoning : 2: classical papers on computational logic 1967-1970 2 Treffer
- handbook of biological confocal microscopy 2 Treffer
- wadi flash floods : challenges and advanced approaches for disaster risk reduction 2 Treffer
- 5th conference on automated deduction les arcs, france, july 8-11, 1980 1 Treffer
- 6th conference on automated deduction : new york, usa, june 7-9, 1982 1 Treffer
- 7. osterreichische artificial-intelligence-tagung / seventh austrian conference on artificial intelligence : wien, austria, 24.-27. september 1991 proceedings 1 Treffer
- a many-valued approach to deduction and reasoning for artificial intelligence 1 Treffer
- advanced topics in artificial intelligence : 12th australian joint conference on artificial intelligence, ai'99 sydney, australia, december 6-10, 1999 proceedings 1 Treffer
- advances in data base theory : volume 1 1 Treffer
- advances in distributed computing and machine learning : proceedings of icadcml 2021 1 Treffer
- advances in human error, reliability, resilience, and performance : proceedings of the ahfe 2017 international conference on human error, reliability, resilience, and performance, july 17-21,2017, the westin bonaventure hotel,los angeles, california, usa 1 Treffer
- advances in intensional logic 1 Treffer
- advances in visualization and optimization techniques for multidisciplinary research : trends in modelling and simulations for engineering applications 1 Treffer
- arnon avron on semantics and proof theory of non-classical logics 1 Treffer
- aspects of philosophical logic : some logical forays into central notions of linguistics and philosophy 1 Treffer
- automated deduction-cade-11 : 11th international conference on automated deduction saratoga springs, ny, usa, june 15-18, 1992 proceedings 1 Treffer
- automated theorem proving : theory and practice 1 Treffer
- biomathematics and related computational problems 1 Treffer
- conceptual structures: logical, linguistic, and computational issues : 8th international conference on conceptual structures, iccs 2000, darmstadt, germany, august 14-18, 2000. proceedings 1 Treffer
- concise guide to formal methods : theory, fundamentals and industry applications 1 Treffer
- deduction, computation, experiment : exploring the effectiveness of proof 1 Treffer
- dynamic worlds : from the frame problem to knowledge management 1 Treffer
- emerging computation and information technologies for education : proceeding of 2012 international conference on emerging computation and information technologies for education (ecice 2012) 1 Treffer
- entities and indices 1 Treffer
- expert systems in structural safety assessment : proceedings of an international course october 2-4, 1989, stuttgart, frg 1 Treffer
- foundations of software technology and theoretical computer science : eighth conference, pune, india december 21-23, 1988 proceedings 1 Treffer
- logic, meaning and computation : essays in memory of alonzo church 1 Treffer
- ludwig wittgenstein's philosophical investigations : an attempt at a critical rationalist appraisal 1 Treffer
- modalities and multimodalities : with the assistance and collaboration of juliana bueno-soler 1 Treffer
- paraconsistency: logic and applications 1 Treffer
- philosophical problems in logic : some recent developments 1 Treffer
- progress in heritable soft connective tissue diseases 1 Treffer
- repairing bertrand russell's 1913 theory of knowledge 1 Treffer
- sustainable food security in the era of local and global environmental change 1 Treffer
- systems of formal logic 1 Treffer
- temporal logic : from ancient ideas to artificial intelligence 1 Treffer
- the convergence of scientific knowledge : a view from the limit 1 Treffer
- theoretical foundations of programming methodology : lecture notes of an international summer school, directed by f. l. bauer, e. w. dijkstra and c. a. r. hoare 1 Treffer
65 Treffer
-
2021Online E-BookZugriff:
-
In: Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications; (2017) S. 109-135Online E-BookZugriff:
-
2012Online E-BookZugriff:
-
In: Automation of Reasoning : 2: Classical Papers on Computational Logic 1967–1970; (1983) S. 102-116Online E-BookZugriff:
-
1978Online E-BookZugriff:
-
1978Online E-BookZugriff:
-
In: Wadi Flash Floods : Challenges and Advanced Approaches for Disaster Risk Reduction; (2022) S. 401-422Online E-BookZugriff:
-
In: Wadi Flash Floods : Challenges and Advanced Approaches for Disaster Risk Reduction; (2022) S. 3-34Online E-BookZugriff:
-
In: Advances in Visualization and Optimization Techniques for Multidisciplinary Research : Trends in Modelling and Simulations for Engineering Applications; (2020) S. 1-31Online E-BookZugriff:
-
2018Online E-BookZugriff:
-
2013Online E-BookZugriff:
-
In: Sustainable Food Security in the Era of Local and Global Environmental Change; (2013) S. 203-215Online E-BookZugriff:
-
2008Online E-BookZugriff:
-
In: Elementary Logic : For Software Development; (2008) S. 139-151Online E-BookZugriff:
-
In: Automated Theorem Proving : Theory and Practice; (2001) S. 21-28Online E-BookZugriff:
-
In: Repairing Bertrand Russell’s 1913 Theory of Knowledge; (2021) S. 117-175Online E-BookZugriff:
-
2021Online E-BookZugriff:
-
1999Online E-BookZugriff:
-
1997Online E-BookZugriff: