Sortiert nach
IEICE Transactions on Information and Systems, 2014, Vol.E97.D(7), pp.1781-1789
2014
Link zum Volltext
IEICE Transactions on Information and Systems, 2014, Vol.E97.D(7), pp.1812-1821
2014
Link zum Volltext
IEICE Transactions on Information and Systems, 2010/08/01, Vol.E93.D(8), pp.2316-2318
2010
Link zum Volltext
2013 IEEE 25th International Conference on Tools with Artificial Intelligence, 2013, p.9-17
2013
- Link zum Volltext
2013 IEEE 25th International Conference on Tools with Artificial Intelligence, 2013, p.284-291
2013
- Link zum Volltext
Journal on satisfiability, Boolean modeling and computation, 2012-01, Vol.8 (1-2), p.95-100
2012
Link zum Volltext
The Journal of supercomputing, 2009-02, Vol.47 (2), p.228-252
2009
Link zum Volltext
The Journal of supercomputing, 2009, Vol.47 (2), p.228-250
2009
Link zum Volltext
2012 Spring Congress on Engineering and Technology, 2012, p.1-4
2012
- Link zum Volltext
Proceedings of the 14th annual conference companion on Genetic and evolutionary computation, 2012, p.307-314
2012
Link zum Volltext
Proceedings of the 13th annual conference companion on Genetic and evolutionary computation, 2011, p.347-354
2011
Link zum Volltext
Automated Deduction—CADE-11, 2005, p.400-415
2005
Link zum Volltext
Lecture notes in computer science, 2004, p.43-52
2004
Link zum Volltext
Theory and Applications of Satisfiability Testing – SAT 2013, Vol.7962, p.415-421
Link zum Volltext
2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2010, Vol.3, p.269-272
2010
- Link zum Volltext
Lecture notes in computer science, 2005, p.67-78
2005
Link zum Volltext
Lecture notes in computer science, 2000, p.96-113
2000
Link zum Volltext
PRICAI 2008: Trends in Artificial Intelligence, p.839-848
Link zum Volltext
Automated Deduction — CADE-15, 2006, p.333-348
2006
Link zum Volltext
Automated Deduction—CADE-11, 2005, p.776-780
2005
Link zum Volltext
New generation computing, 1984-06, Vol.2 (2), p.105-129
1984
Link zum Volltext
Computational Logic — CL 2000, 2000, p.285-299
2000
Link zum Volltext
2012 IEEE 24th International Conference on Tools with Artificial Intelligence, 2012, Vol.1, p.910-915
2012
- Link zum Volltext
Transactions of the Japanese Society for Artificial Intelligence, 2001, Vol.16(2), pp.234-245
2001
Link zum Volltext
Metallurgical transactions, 1971-05, Vol.2 (5), p.1449-1455
1971
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Humans
- Male
- Technology
- Female
- Computer Science
- Physical Sciences
- Middle Aged
- Adult
- Applied Sciences
- Biological And Medical Sciences
- Computer Science, Artificial Intelligence
- Exact Sciences And Technology
- Gastroenterology & Hepatology
- Medical Sciences
- Aged
- Artificial Intelligence
- Chemistry
- Pharmacology & Pharmacy
Kollektion
- Electronic Journals Library
- Ingenta E-Journals
- MEDLINE
- Journals@Ovid Complete
- Wiley Online Library Journals Frontfile Complete
- SpringerLink Series
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library Full Collection 2018
- springer (창간호~2014)
- IEL
- ACM Digital Library
- NUS Single-Journal Subscriptions
- Taylor & Francis Journals Complete
- Taylor & Francis Journals Auto-Holdings Collection
- Oxford Journals
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
Zeitschrift / Serie