books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 24; Issue 1
Main
KI - Künstliche Intelligenz
Volume 24; Issue 1
KI - Künstliche Intelligenz
Volume 24; Issue 1
1
Practical Aspects of Automated Deduction for Program Verification
Wolfgang Ahrendt
,
Bernhard Beckert
,
Martin Giese
,
Philipp Rümmer
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
english
File:
PDF, 307 KB
Your tags:
english, 2010
2
Instance Based Methods—A Brief Overview
Peter Baumgartner
,
Evgenij Thorstensen
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
english
File:
PDF, 292 KB
Your tags:
english, 2010
3
Künstliche Intelligenz ab 2010 bei Springer
Klaus-Dieter Althoff
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
german
File:
PDF, 130 KB
Your tags:
german, 2010
4
Small is Again Beautiful in Description Logics
Franz Baader
,
Carsten Lutz
,
Anni-Yasmin Turhan
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
english
File:
PDF, 428 KB
Your tags:
english, 2010
5
Deductive Verification of System Software in the Verisoft XT Project
Bernhard Beckert
,
Michał Moskal
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
english
File:
PDF, 243 KB
Your tags:
english, 2010
6
Learning and Recognizing Structures in Façade Scenes (eTRIMS)—A Retrospective
Lothar Hotz
,
Bernd Neumann
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
english
File:
PDF, 595 KB
Your tags:
english, 2010
7
Willkommen bei Springer
Hermann Engesser
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
german
File:
PDF, 121 KB
Your tags:
german, 2010
8
A SAT Solver for Circuits Based on the Tableau Method
Uwe Egly
,
Leopold Haller
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
english
File:
PDF, 478 KB
Your tags:
english, 2010
9
Special Issue on Automated Deduction
Jürgen Giesl
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
english
File:
PDF, 138 KB
Your tags:
english, 2010
10
Logic-Based Question Answering
Ulrich Furbach
,
Ingo Glöckner
,
Hermann Helbig
,
Björn Pelzer
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
english
File:
PDF, 544 KB
Your tags:
english, 2010
11
Current Trends in Automated Deduction
Jürgen Giesl
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
english
File:
PDF, 191 KB
Your tags:
english, 2010
12
News
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
english
File:
PDF, 159 KB
Your tags:
english, 2010
13
LiSA: Auf dem Weg zur sicheren Assistenzrobotik
Erik Schulenburg
,
Norbert Elkmann
,
Markus Fritzsche
,
Joachim Hertzberg
,
Stefan Stiene
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
german
File:
PDF, 478 KB
Your tags:
german, 2010
14
Differential Dynamic Logics
André Platzer
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
english
File:
PDF, 311 KB
Your tags:
english, 2010
15
Static Termination Analysis for Prolog Using
Peter Schneider-Kamp
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
english
File:
PDF, 266 KB
Your tags:
english, 2010
16
iQser GIN Plattform
Jörg Wurzer
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
german
File:
PDF, 462 KB
Your tags:
german, 2010
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×