Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- programming language 23 Treffer
- software 21 Treffer
- computational theory and mathematics 20 Treffer
- artificial intelligence 19 Treffer
- proof assistant 18 Treffer
-
45 weitere Werte:
- theoryofcomputation_logicsandmeaningsofprograms 13 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 11 Treffer
- mathematical proof 9 Treffer
- 02 engineering and technology 8 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 8 Treffer
- 020207 software engineering 8 Treffer
- theoretical computer science 8 Treffer
- correctness 7 Treffer
- business 5 Treffer
- business.industry 5 Treffer
- algorithm 4 Treffer
- applied mathematics 4 Treffer
- automated theorem proving 4 Treffer
- hardware and architecture 4 Treffer
- term (logic) 4 Treffer
- type theory 4 Treffer
- 01 natural sciences 3 Treffer
- 020201 artificial intelligence & image processing 3 Treffer
- abstract syntax 3 Treffer
- automated proof checking 3 Treffer
- calculus of constructions 3 Treffer
- code (cryptography) 3 Treffer
- compiler 3 Treffer
- computer.programming_language 3 Treffer
- computer-assisted proof 3 Treffer
- mathematics 3 Treffer
- proof complexity 3 Treffer
- semantics (computer science) 3 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 2 Treffer
- axiom 2 Treffer
- computer science - logic in computer science 2 Treffer
- computer science applications 2 Treffer
- computer science::logic in computer science 2 Treffer
- computer science::programming languages 2 Treffer
- computer.file_format 2 Treffer
- executable 2 Treffer
- formal language 2 Treffer
- formal verification 2 Treffer
- fos: computer and information sciences 2 Treffer
- hierarchy (mathematics) 2 Treffer
- hol 2 Treffer
- inference 2 Treffer
- logic in computer science (cs.lo) 2 Treffer
- logical framework 2 Treffer
- multidisciplinary 2 Treffer
Publikation
28 Treffer
-
In: Journal of Membrane Computing, Jg. 3 (2021-08-24), S. 205-220Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 53 (2014-06-19), S. 271-304Online unknownZugriff:
-
In: Journal of Logic, Language and Information, Jg. 23 (2014-10-04), S. 441-480Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 49 (2011-03-02), S. 141-159Online unknownZugriff:
-
In: Annals of Mathematics and Artificial Intelligence, Jg. 48 (2006-09-01), S. 15-43Online unknownZugriff:
-
In: Annals of Mathematics and Artificial Intelligence, Jg. 74 (2015-01-07), S. 249-269Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 52 (2013-04-16), S. 215-239Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 44 (2009-06-26), S. 53-78Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 29 (2002), S. 309-336Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 23 (1999), S. 319-346Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 64 (2020-02-17), S. 1685-1729Online unknownZugriff:
-
In: Journal of Computer Science and Technology, Jg. 34 (2019-07-01), S. 901-923Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 63 (2019-06-22), S. 967-1002Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 61 (2018-02-21), S. 367-422Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 61 (2017-12-23), S. 141-189Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 60 (2017-09-09), S. 257-277Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 55 (2015-07-12), S. 295-306Online unknownZugriff:
-
In: Journal of Shanghai Jiaotong University (Science), Jg. 19 (2014-01-21), S. 17-27Online unknownZugriff:
-
In: Software & Systems Modeling, Jg. 14 (2013-06-27), S. 101-119Online unknownZugriff:
-
In: Formal Methods in System Design, Jg. 41 (2012-06-27), S. 178-210Online unknownZugriff: