bib.howest.be Zoekresultaten

U zocht naar: Auteur Kanade, Takeo

« Vorige | 1,021 - 1,030 van 4,148 | Volgende »

1021. Logic and Program Semantics

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Silva, Alexandra
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

1022. Logic and Theory of Algorithms

Auteur:: Beckmann, Arnold; Dimitracopoulos, Costas; Kanade, Takeo; Löwe, Benedikt
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

1023. Logic-Based Program Synthesis and Transformation

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Vidal, Germán
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

1024. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Baader, Franz; Kanade, Takeo; Voronkov, AndreÄ; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

1025. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Kanade, Takeo; Sutcliffe, Geoff; Voronkov, AndreÄ; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

1026. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Hermann, Miki; Kanade, Takeo; Voronkov, Andrei; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

1027. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Hutchison, David; Kanade, Takeo; Bjørner, Nikolaj; Voronkov, Andrei
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

1028. Logic, Language, and Computation

Auteur:: Bosch, Peter; Gabelaia, David; Kanade, Takeo; Lang, Jérôme
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

1029. Logic Programming

Auteur:: Gabbrielli, Maurizio; Gupta, Gopal; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

1030. Logic Programming

Auteur:: Etalle, Sandro; Kanade, Takeo; Kittler, Josef; Truszczynski, Miroslav
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book