Zoeken

U zocht naar: Onderwerp Technology Filter Onderwerp: Technology weghalen
| 1,251 - 1,260 van 5,147 |
Aantal zoekresultaten per pagina

Zoekresultaten

1251. Logic for Programming, Artificial Intelligence, and Reasoning
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Bjørner, Nikolaj; Voronkov, Andrei
Uitgever:
Springer Berlin Heidelberg 2012
Type:
e-book
1252. Logic for Programming, Artificial Intelligence, and Reasoning
thumbnail
Full text!
Auteur:
Dershowitz, Nachum; Siekmann, Jörg; Voronkov, Andrei
Uitgever:
Springer Berlin Heidelberg 2007
Type:
e-book
1253. Logic for Programming, Artificial Intelligence, and Reasoning
thumbnail
Full text!
Auteur:
Cervesato, Iliano; Siekmann, Jörg; Veith, Helmut; Voronkov, Andrei
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book
1254. Logic, Language, and Computation
thumbnail
Full text!
Auteur:
Bosch, Peter; Gabelaia, David; Kanade, Takeo; Lang, Jérôme
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book
1255. Logic, Language, and Computation
thumbnail
Full text!
Auteur:
Bezhanishvili, Nick; Kanade, Takeo; Löbner, Sebastian; Schwabe, Kerstin; Spada, Luca
Uitgever:
Springer Berlin Heidelberg 2011
Type:
e-book
1256. Logic, Language, and Computation
thumbnail
Full text!
Auteur:
Cate, Balder D.; Cate, Balder David ten; Siekmann, Jörg; Zeevat, Henk W.; ten Cate, Balder D.
Uitgever:
Springer Berlin Heidelberg 2007
Type:
e-book
1257. Logic, Language, Information and Computation
thumbnail
Full text!
Auteur:
Ono, Hiroakira; Kanade, Takeo; Kanazawa, Makoto; Queiroz, Ruy; de Queiroz, Ruy
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book
1258. Logic, Language, Information and Computation
thumbnail
Full text!
Auteur:
Hodges, Wilfrid; Queiroz, Ruy; Queiroz, Ruy J. G. B. de; Siekmann, Jörg; de Queiroz, Ruy
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book
1259. Logic Programming and Nonmonotonic Reasoning
thumbnail
Full text!
Auteur:
Baral, Chitta; Kanade, Takeo; Greco, Gianluigi; Leone, Nicola; Terracina, Giorgio
Uitgever:
Springer Berlin / Heidelberg 2005
Type:
e-book
1260. Logic Programming and Nonmonotonic Reasoning
thumbnail
Full text!
Auteur:
Erdem, Esra; Kanade, Takeo; Lin, Fangzhen; Schaub, Torsten
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book