Sortiert nach
Computer Aided Verification, 2013, Vol.LNCS 8044, p.1-35
2013
Link zum Volltext
Formal Methods: Foundations and Applications, p.23-36
Link zum Volltext
Procedia computer science, 2022, Vol.213, p.149-156
2022
Link zum Volltext
Scalable Uncertainty Management, p.190-202
Link zum Volltext
Computer Aided Verification, p.17-34
Link zum Volltext
Computer Aided Verification, p.869-882
Link zum Volltext
Computer Aided Verification, p.773-789
Link zum Volltext
Static Analysis, p.105-125
Link zum Volltext
Programming Languages and Systems, p.188-203
Link zum Volltext
Principles and Practice of Multi-Agent Systems, p.47-59
Link zum Volltext
Runtime Verification, p.31-47
Link zum Volltext
Automated Deduction - CADE-25, p.467-481
Link zum Volltext
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, Vol.9710, p.323-341
2016
Link zum Volltext
Automated Reasoning, 2014, p.122-136
2014
Link zum Volltext
Fundamental Approaches to Software Engineering, p.470-485
Link zum Volltext
Automated Deduction – CADE-23, p.131-146
Link zum Volltext
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, Vol.7180, p.406-419
2012
Link zum Volltext
Scalable Uncertainty Management, p.223-236
Link zum Volltext
Software, Services, and Systems, p.30-45
Link zum Volltext
Lecture notes in computer science, 2000, p.280-301
2000
Link zum Volltext
Logic, Language, and Computation, p.51-72
Link zum Volltext
Coordination Models and Languages, p.247-267
Link zum Volltext
Automated Reasoning, 2016, Vol.9706, p.313-329
2016
Link zum Volltext
Correct Reasoning, p.178-194
Link zum Volltext
Static Analysis, p.68-84
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Predicate Symbol
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Logic Program
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Computer Science, Artificial Intelligence
- Function Symbol
- Computer Science, Software Engineering
- Logic Programming
- Artificial Intelligence
- Theoretical Computing
- Software
- Horn Clause
- Atomic Formula
- Mathematics
- Symbols
Kollektion
- Ingenta
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- JSTOR
- IngentaConnect Journals
- Free E-Journal (出版社公開部分のみ）
- Oxford Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerNature Journals
- Journals@Ovid Complete
- Project MUSE
- Wiley Online Library Journals Frontfile Complete
- NUS Single-Journal Subscriptions
- Cambridge Journals Online (DEFF)
- Project MUSE
- Project Euclid Complete
- University of Chicago Press Journals
- De Gruyter eBooks
- Oxford Journals 2020 Humanities
Zeitschrift / Serie