Sortiert nach
Logic Programming in Action, 2005, p.313-324
2005
Link zum Volltext
IEEE transactions on computers, 1989-06, Vol.38 (6), p.880-881
1989
- Link zum Volltext
1. Aufl., 2008
Link zum Volltext
1, 2009
Link zum Volltext
Automated Deduction in Geometry, p.1-33
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Science & Technology - Other Topics
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Mathematics
- Artificial Intelligence
- Physical Sciences
- Computer Science, Artificial Intelligence
- Software Engineering
- Semantics
- Algorithms
- Philosophy
- Engineering
- Theory Of Computation
- Mathematical Logic And Formal Languages
- Mathematical Logic
- Software
Kollektion
- Ingenta
- ACM Digital Library
- Springer Nature - Complete Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink Series
- EZB Free E-Journals
- IEEE/IET Electronic Library (IEL)
- Journals@Ovid Complete
- Springer Books
- Cambridge Journals Online (DEFF)
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- JSTOR Complete Journals
- EBSCOhost Business Source Ultimate
- IngentaConnect Journals
- Oxford Journals Online Current
- Project Euclid
- Taylor & Francis Journals Complete
- Taylor & Francis Current Content Access
- Wiley Online Library Journals
Zeitschrift / Serie
- Theory And Practice Of Logic Programming
- Acm Transactions On Computational Logic
- Journal Of Automated Reasoning
- The Journal Of Symbolic Logic
- Ieee Transactions On Software Engineering
- Synthese
- Journal Of Logic And Computation
- Journal Of The Acm
- Logic Journal Of The Igpl
- Acm Transactions On Programming Languages And Systems
Neu hinzugefügt