Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
domenico cantone
(2)eugenio g. omodeo
(2)jacob t. schwartz
(2)taha, walid
(2)bachmair, leo
(1)comon-lundh, hubert
(1)eriksson, lars-henrik
(1)flener, pierre
(1)geuvers, herman
(1)gurfinkel, arie
(1)hermenegildo, manuel v
(1)hughes, john
(1)kirchner, claude
(1)kirchner, hélène
(1)lindsay, peter a.
(1)lopez-garcia, pedro
(1)mogensen, torben
(1)robert ciesla
(1)schmidt, d.
(1)seshia, sanjit a.
(1)sudborough, i. h.
(1)van horn, david
(1)wiedijk, freek
(1)Verlag / Hersteller
springer berlin heidelberg
(8)springer international publishing
(3)springer london
(2)Schlagwort
edv
(14)informatik
(14)programming logic
(14)
programminglogic
(14)allgemeines
(7)program analysis
(6)program semantics
(6)programanalysis
(6)theorie
(6)programsemantics
(5)logic
(4)program transformation
(4)programmieren (edv)
(4)programming
(4)software engineering
(4)algorithms
(3)automated reasoning
(3)automatedreasoning
(3)formal specification
(3)formalspecification
(3)lambda calculus
(3)logics and meanings of programs
(3)mathematical logic and formal languages
(3)model checking
(3)programming languages
(3)programming techniques
(3)programming theory
(3)programtransformation
(3)semantics
(3)software-entw.
(3)theory of computation
(3)algorithm
(2)artificial intelligence
(2)automata
(2)computation by abstract devices
(2)computer science
(2)computer science, general
(2)computer systems
(2)computersystems
(2)coq
(2)formal methods
(2)formalmethods
(2)generativ
(2)lexika
(2)logic and verification
(2)logic programming
(2)logicandverification
(2)logicprogramming
(2)mathematical logic and foundations
(2)modelchecking
(2)program construction
(2)program generation
(2)program verification methods
(2)programconstruction
(2)programgeneration
(2)programmieren
(2)programmierung
(2)programming calculi
(2)programmingcalculi
(2)programminglanguages
(2)programmingtheory
(2)programverificationmethods
(2)proof theory
(2)prooftheory
(2)rewriting systems
(2)rewritingsystems
(2)software engineering/programming and operating systems
(2)type systems
(2)alg
(1)algebraic program manipulation
(1)algebraicprogrammanipulation
(1)artificialintelligence
(1)aspect-oriented programming
(1)aspect-orientedprogramming
(1)assertion checking
(1)assertionchecking
(1)automata theory
(1)automatatheory
(1)automated program development
(1)automated static analysis
(1)automatedprogramdevelopment
(1)automatedstaticanalysis
(1)begründung
(1)benchmarks
(1)berechenbarkeit
(1)beweis
(1)bisimulation
(1)calculus
(1)compiler
(1)complexity
(1)computable functions
(1)computablefunctions
(1)computational complexity
(1)computationalflowanalysis
(1)computer engineering
(1)computer hardware
(1)computer system implementation
(1)computerprogrammierung und softwareentwicklung
(1)computerspiel
(1)computerspiele (programmierung
(1)Erscheinungsjahr
1999
(1)2000
(2)2001
(1)2002
(2)2003
(1)2007
(1)2011
(1)2014
(1)2016
(1)2017
(2)2019
(1)Ergebnis: 14 Artikel
Schlagwort: programminglogic
