|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
16 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A SAT Solver for Circuits Based on the Tableau Method |
Egly, Uwe |
2010 |
24 | 1 |
p. 15-23 |
artikel |
|
| 2 | Current Trends in Automated Deduction |
Giesl, Jürgen |
2010 |
24 | 1 |
p. 11-13 |
artikel |
|
| 3 | Deductive Verification of System Software in the Verisoft XT Project |
Beckert, Bernhard |
2010 |
24 | 1 |
p. 57-61 |
artikel |
|
| 4 | Differential Dynamic Logics |
Platzer, André |
2010 |
24 | 1 |
p. 75-77 |
artikel |
|
| 5 | Instance Based Methods—A Brief Overview |
Baumgartner, Peter |
2010 |
24 | 1 |
p. 35-42 |
artikel |
|
| 6 | iQser GIN Plattform |
Wurzer, Jörg |
2010 |
24 | 1 |
p. 83-86 |
artikel |
|
| 7 | Künstliche Intelligenz ab 2010 bei Springer |
Althoff, Klaus-Dieter |
2010 |
24 | 1 |
p. 1-3 |
artikel |
|
| 8 | Learning and Recognizing Structures in Façade Scenes (eTRIMS)—A Retrospective |
Hotz, Lothar |
2010 |
24 | 1 |
p. 63-68 |
artikel |
|
| 9 | LiSA: Auf dem Weg zur sicheren Assistenzrobotik |
Schulenburg, Erik |
2010 |
24 | 1 |
p. 69-73 |
artikel |
|
| 10 | Logic-Based Question Answering |
Furbach, Ulrich |
2010 |
24 | 1 |
p. 51-55 |
artikel |
|
| 11 | News |
2010 |
24 | 1 |
p. 87-91 |
artikel |
||
| 12 | Practical Aspects of Automated Deduction for Program Verification |
Ahrendt, Wolfgang |
2010 |
24 | 1 |
p. 43-49 |
artikel |
|
| 13 | Small is Again Beautiful in Description Logics |
Baader, Franz |
2010 |
24 | 1 |
p. 25-33 |
artikel |
|
| 14 | Special Issue on Automated Deduction |
Giesl, Jürgen |
2010 |
24 | 1 |
p. 7-9 |
artikel |
|
| 15 | Static Termination Analysis for Prolog Using Term Rewriting and SAT Solving |
Schneider-Kamp, Peter |
2010 |
24 | 1 |
p. 79-81 |
artikel |
|
| 16 | Willkommen bei Springer |
Engesser, Hermann |
2010 |
24 | 1 |
p. 5-6 |
artikel |
16 gevonden resultaten