Logic, Language, Information and Computation (Lecture Notes in Computer Science, 7456) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 007 情報学・情報科学 ISBN 978-3-642-32620-2 URL http://dx.doi.org/10.1007/978-3-642-32621-9 Logic, Language, Information and Computation (Lecture Notes in Computer Science, 7456) の続きを見る
Logic, Language, and Computation (Lecture Notes in Computer Science, 6618) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 007 情報学・情報科学 ISBN 978-3-642-22302-0 URL http://dx.doi.org/10.1007/978-3-642-22303-7 Logic, Language, and Computation (Lecture Notes in Computer Science, 6618) の続きを見る
Logic, Rationality, and Interaction (Lecture Notes in Computer Science, 6953) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 007 情報学・情報科学 ISBN 978-3-642-24129-1 URL http://dx.doi.org/10.1007/978-3-642-24130-7 Logic, Rationality, and Interaction (Lecture Notes in Computer Science, 6953) の続きを見る
Logic-Based Program Synthesis and Transformation (Lecture Notes in Computer Science, 6564) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 007 情報学・情報科学 ISBN 978-3-642-20550-7 URL http://dx.doi.org/10.1007/978-3-642-20551-4 Logic-Based Program Synthesis and Transformation (Lecture Notes in Computer Science, 6564) の続きを見る
Logic-Based Program Synthesis and Transformation (Lecture Notes in Computer Science, 7225) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 007 情報学・情報科学 ISBN 978-3-642-32210-5 URL http://dx.doi.org/10.1007/978-3-642-32211-2 Logic-Based Program Synthesis and Transformation (Lecture Notes in Computer Science, 7225) の続きを見る
Logic: A Brief Course (UNITEXT) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 41 数学 ISBN 978-88-470-2360-4 URL http://dx.doi.org/10.1007/978-88-470-2361-1 Logic: A Brief Course (UNITEXT) の続きを見る
Logica Universalis 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 41 数学 ISBN 978-3-7643-8353-4 URL http://dx.doi.org/10.1007/978-3-7643-8354-1 Logica Universalis の続きを見る
Logica Universalis 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 41 数学 ISBN 978-3-7643-7259-0 URL http://dx.doi.org/10.1007/b137041 Logica Universalis の続きを見る
Logica: Metodo Breve (UNITEXT, 1) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 41 数学 ISBN 978-88-470-1883-9 URL http://dx.doi.org/10.1007/978-88-470-1884-6 Logica: Metodo Breve (UNITEXT, 1) の続きを見る
Logical Aspects of Computational Linguistics (Lecture Notes in Computer Science, 3492) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 007 情報学・情報科学 ISBN 978-3-540-25783-7 URL http://dx.doi.org/10.1007/b136076 Logical Aspects of Computational Linguistics (Lecture Notes in Computer Science, 3492) の続きを見る