Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
computer
(2)computer science
(2)computerprogrammierung und softwareentwicklung
(2)formal method
(2)formal methods
(2)logic
(2)logic design
(2)logics and meanings of programs
(2)mathematical logic and foundations
(2)models and principles
(2)program synthesis
(2)programming techniques
(2)proof
(2)software
(2)software engineering
(2)software engineering/programming and operating systems
(2)type theory
(2)computers
(1)computers - general information
(1)computerscience
(1)databa
(1)edv
(1)formalmethod
(1)formalmethods
(1)general
(1)informatik
(1)mathematics
(1)programsynthesis
(1)software development & engineering
(1)softwareengineering
(1)theoretische informatik
(1)theory of computa
(1)theory of computation
(1)typetheory
(1)Ergebnis: 2 Artikel
Titel: adapting proofs-as-programs
