Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer 107 Treffer
- computer.software_genre 95 Treffer
- programming language 93 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 89 Treffer
- 02 engineering and technology 80 Treffer
-
45 weitere Werte:
- 0202 electrical engineering, electronic engineering, information engineering 79 Treffer
- 020207 software engineering 65 Treffer
- proof assistant 61 Treffer
- 01 natural sciences 59 Treffer
- software 56 Treffer
- 0102 computer and information sciences 54 Treffer
- 010201 computation theory & mathematics 54 Treffer
- theoretical computer science 53 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 49 Treffer
- mathematical proof 45 Treffer
- computer.programming_language 42 Treffer
- business 29 Treffer
- business.industry 29 Treffer
- correctness 28 Treffer
- separation logic 27 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 24 Treffer
- compiler 22 Treffer
- calculus 20 Treffer
- fos: computer and information sciences 20 Treffer
- semantics (computer science) 20 Treffer
- 020204 information systems 19 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 18 Treffer
- 020201 artificial intelligence & image processing 18 Treffer
- computer science::logic in computer science 18 Treffer
- operational semantics 17 Treffer
- safety, risk, reliability and quality 17 Treffer
- concurrency 16 Treffer
- automated theorem proving 15 Treffer
- computer graphics and computer-aided design 15 Treffer
- computer science::programming languages 15 Treffer
- computer science - programming languages 14 Treffer
- type theory 14 Treffer
- computer science - logic in computer science 13 Treffer
- logic in computer science (cs.lo) 13 Treffer
- programming languages (cs.pl) 13 Treffer
- algorithm 12 Treffer
- modular design 12 Treffer
- recursion 12 Treffer
- semantics 12 Treffer
- coq 11 Treffer
- functional programming 11 Treffer
- artificial intelligence 10 Treffer
- certification 10 Treffer
- completeness (logic) 10 Treffer
- general computer science 10 Treffer
Verlag
- hal ccsd 33 Treffer
- springer berlin heidelberg 26 Treffer
- acm 19 Treffer
- association for computing machinery (acm) 14 Treffer
- springer international publishing 9 Treffer
-
17 weitere Werte:
- arxiv 5 Treffer
- ieee 5 Treffer
- springer 5 Treffer
- elsevier bv 3 Treffer
- springer science and business media llc 3 Treffer
- cambridge university press (cup) 2 Treffer
- association for computing machinery 1 Treffer
- cambridge university press 1 Treffer
- centre pour la communication scientifique directe (ccsd) 1 Treffer
- elsevier 1 Treffer
- episciences.org 1 Treffer
- hamad bin khalifa university press (hbku press) 1 Treffer
- information processing society of japan 1 Treffer
- institute for system programming of the russian academy of sciences 1 Treffer
- open publishing association 1 Treffer
- springer-verlag 1 Treffer
- universitat des saarlandes 1 Treffer
Publikation
- proceedings of the acm on programming languages 11 Treffer
- acm sigplan notices 3 Treffer
- journal of automated reasoning 3 Treffer
- lecture notes in computer science 3 Treffer
- electronic notes in theoretical computer science 2 Treffer
-
29 weitere Werte:
- 2009 33rd annual ieee international computer software and applications conference 1 Treffer
- 2020 ieee/acs 17th international conference on computer systems and applications (aiccsa) 1 Treffer
- acm transactions on computational logic 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- acm transactions on software engineering and methodology 1 Treffer
- automated deduction - cade-18 (copenhagen, 27-30 july 2002) 1 Treffer
- electronic proceedings in theoretical computer science 1 Treffer
- information and computation (print) 1 Treffer
- journal of functional programming 1 Treffer
- journal of information processing 1 Treffer
- journal of the brazilian computer society 1 Treffer
- logic in computer science (copenhagen, 22-25 july 2002) 1 Treffer
- logical methods in computer science 1 Treffer
- mathematical structures in computer science 1 Treffer
- proceedings - symposium on logic in computer science 1 Treffer
- proceedings of the 15th acm sigplan international conference on functional programming 1 Treffer
- proceedings of the 33rd annual acm/ieee symposium on logic in computer science 1 Treffer
- proceedings of the 35th acm sigplan conference on programming language design and implementation 1 Treffer
- proceedings of the 40th acm sigplan conference on programming language design and implementation 1 Treffer
- proceedings of the 40th annual acm sigplan-sigact symposium on principles of programming languages 1 Treffer
- proceedings of the 6th acm sigplan conference on certified programs and proofs 1 Treffer
- proceedings of the 7th acm sigplan international conference on certified programs and proofs 1 Treffer
- proceedings of the 7th joint meeting of the european software engineering conference and the acm sigsoft symposium on the foundations of software engineering 1 Treffer
- proceedings of the institute for system programming of the ras 1 Treffer
- qatar foundation annual research forum proceedings 1 Treffer
- science of computer programming 1 Treffer
- structural operational semantics (sos) 1 Treffer
- theoretical computer science (bertinoro, 13-15 october 2003) 1 Treffer
- tphols 2000 : theorem proving in higher order logics (portland or, 14-18 august 2000) 1 Treffer
Sprache
153 Treffer
-
In: TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000), 2000, S. 126-144KonferenzZugriff:
-
In: 2020 IEEE/ACS 17th International Conference on Computer Systems and Applications (AICCSA), 2020-11-01Online unknownZugriff:
-
In: Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming and Advanced Modularity, 2020-10-19Online unknownZugriff:
-
In: Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019-01-14Online unknownZugriff:
-
In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018-01-08Online unknownZugriff:
-
In: Journal of Information Processing, Jg. 24 (2016), Heft No. 1, S. 132-140Online unknownZugriff:
-
2004Online unknownZugriff:
-
2000Online unknownZugriff:
-
In: Qatar Foundation Annual Research Forum Proceedings, 2011-11-01, S. CSP23Online unknownZugriff:
-
In: Journal of automated reasoning, Jg. 50 (2013), Heft 4, S. 423-456Online academicJournalZugriff:
-
2021Online unknownZugriff: