Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
albert, elvira
(1)alpuente, maría
(1)bossi, annalisa
(1)bruynooghe, maurice
(1)de schreye, danny
(1)etalle, sandro
(1)falaschi, moreno
(1)fioravanti, fabio
(1)flener, pierre
(1)gabbrielli, maurizio
(1)gallagher, john p.
(1)gupta, gopal
(1)hanus, michael
(1)hermenegildo, manuel v
(1)hill, patricia m.
(1)king, andy
(1)lau, kung-kiu
(1)leuschel, m.
(1)lopez-garcia, pedro
(1)mesnard, fred
(1)pettorossi, alberto
(1)peña, ricardo
(1)proietti, maurizio
(1)puebla, germán
(1)seki, hirohisa
(1)stuckey, peter j.
(1)vidal, germán
(1)Verlag / Hersteller
springer berlin heidelberg
(15)springer international publishing
(8)springer verlag gmbh
(2)springer, berlin springer international publishing springer
(2)Verlag
springer
(3)springer berlin heidelberg
(15)springer international publishing
(10)springer verlag gmbh
(2)springer, berlin
(3)Schlagwort
informatik
(26)edv
(25)logic programming
(18)software engineering
(14)logicprogramming
(13)functional programming
(10)logic
(10)theorie
(10)formal methods
(9)program analysis
(9)program synthesis
(9)computational logic
(8)artificial intelligence
(7)constraint programming
(7)functionalprogramming
(7)mathematik
(7)program transformation
(7)program verification
(7)programanalysis
(7)programmieren (edv)
(7)software-entw.
(7)allgemeines
(6)imperative programming
(6)imperativeprogramming
(6)intelligenz
(6)ki
(6)künstliche intelligenz
(6)künstliche intelligenz - ai
(6)logics and meanings of programs
(6)semantics
(6)verification
(6)algorithms
(5)computerprogrammierung und softwareentwicklung
(5)formalmethods
(5)optimization
(5)programming techniques
(5)programsynthesis
(5)programtransformation
(5)answer set programming
(4)answersetprogramming
(4)constraint logic programming
(4)constraintlogicprogramming
(4)declarative debugging
(4)declarativedebugging
(4)formal logic
(4)informatik, computer
(4)logic program manipulation
(4)programmieren
(4)programverification
(4)software engineering/programming and operating systems
(4)computationalconstraintprogramming
(3)computer programming
(3)computerprogramming
(3)debugging
(3)distributed computer systems
(3)distributedcomputersystems
(3)entwicklung
(3)formal semantics
(3)formallogic
(3)logic-based program development
(3)logikprogrammierung
(3)mathematical logic and formal languages
(3)model checking
(3)roboter - robotik - industrieroboter
(3)softwareengineering
(3)theory of computation
(3)algorithm
(2)algorithmus
(2)analysis
(2)applications
(2)artificialintelligence
(2)compiler
(2)computer science
(2)computer systems
(2)computersystems
(2)conference proceedings
(2)discrete mathematics in computer science
(2)embedded systems
(2)embeddedsystems
(2)extension
(2)informatics
(2)languages
(2)linguistics
(2)logicprogrammanipulation
(2)operational semantics
(2)parallel processing systems
(2)parallelprocessingsystems
(2)partial evaluation
(2)progr
(2)program
(2)program compilers
(2)program semantics
(2)program syntesis
(2)programcompilers
(2)programming
(2)programming languages
(2)programming logic
(2)programminglogic
(2)programsyntesis
(2)prolog
(2)Erscheinungsjahr
1999
(1)2000
(1)2001
(1)2002
(1)2003
(1)2004
(1)2005
(1)2006
(1)2007
(1)2008
(1)2009
(1)2010
(1)2011
(1)2012
(1)2013
(1)2014
(1)2015
(2)2017
(1)2018
(1)2019
(1)2020
(1)2021
(1)2022
(2)2023
(1)2024
(1)2025
(1)Ergebnis: 28 Artikel
Titel: logic based program synthesis and transformation
