007 情報学・情報科学 | 鹿児島大学附属図書館

ポスト名

cat14

Logic for Programming, Artificial Intelligence, and Reasoning (Lecture Notes in Computer Science, 3835)

出版社

電子書籍プラットフォーム

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-540-30553-8

URL

http://dx.doi.org/10.1007/11591191

Logic for Programming, Artificial Intelligence, and Reasoning (Lecture Notes in Computer Science, 3835) の続きを見る

Logic for Programming, Artificial Intelligence, and Reasoning (Lecture Notes in Computer Science, 7180)

出版社

電子書籍プラットフォーム

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-28716-9

URL

http://dx.doi.org/10.1007/978-3-642-28717-6

Logic for Programming, Artificial Intelligence, and Reasoning (Lecture Notes in Computer Science, 7180) の続きを見る

Logic, Language and Meaning (Lecture Notes in Computer Science, 7218)

出版社

電子書籍プラットフォーム

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-31481-0

URL

http://dx.doi.org/10.1007/978-3-642-31482-7

Logic, Language and Meaning (Lecture Notes in Computer Science, 7218) の続きを見る

Logic, Language, Information and Computation (Lecture Notes in Computer Science, 6642)

出版社

電子書籍プラットフォーム

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-20919-2

URL

http://dx.doi.org/10.1007/978-3-642-20920-8

Logic, Language, Information and Computation (Lecture Notes in Computer Science, 6642) の続きを見る

Logic, Language, Information and Computation (Lecture Notes in Computer Science, 7456)

出版社

電子書籍プラットフォーム

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 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 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 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 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) の続きを見る

Logical Aspects of Computational Linguistics (Lecture Notes in Computer Science, 3492)

出版社

電子書籍プラットフォーム

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) の続きを見る

007 情報学・情報科学を購読