A to Z List of Ebooks
| Title | Author | ISBN | Publisher | Subject | Vol/Edition | Year |
|---|---|---|---|---|---|---|
| Logic Programming '85 | Eiiti Wada |
9783540398202 |
Springer |
Computer Science |
221 |
1986 |
| Logic Programming '86 | Eiiti Wada |
9783540477129 |
Springer |
Computer Science |
264 |
1987 |
| Logic Programming '87 | Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki |
9783540392675 |
Springer |
Computer Science |
315 |
1988 |
| Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia | Andrei Voronkov |
9783540478300 |
Springer |
Computer Science |
698 |
1993 |
| Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94 Kiev, Ukraine | Frank Pfenning |
9783540485735 |
Springer |
Computer Science |
822 |
1994 |
| Logic Programming and Nonmonotonic Reasoning | V. Wiktor Marek, Anil Nerode, M. Truszczyński |
9783540492825 |
Springer |
Computer Science |
928 |
1995 |
| Logic Symposia Hakone 1979, 1980 | Gert H. Müller, Gaisi Takeuti, Tosiyuki Tugué |
9783540386339 |
Springer |
Mathematics |
891 |
1981 |
| Logic Without Borders | Hirvonen, Åsa / Kontinen, Juha / Kossak, Roman / Villaveces, Andrés |
9781614516873 |
De Gruyter |
Logic , Logic |
2015 |
|
| Logic Year 1979–80 | Manuel Lerman, James H. Schmerl, Robert I. Soare | 9783540386735 | Springer | Mathematics | 859 | 1981 |
| Logic-Based Benders Decomposition | John Hooker |
9783031450396 |
Synthesis Collection of Technology (R0) |
Applications of Mathematics |
2024 |
|
| Logic-Based Program Synthesis and Transformation | Maurizio Gabbrielli |
9783030452605 |
Springer |
Computer Science |
2020 |
|
| Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook | Bruce M. Kapron |
9798400707797 |
Association for Computing Machinery |
Computer Science |
2023 |
|
| Logic, Epistemology, Philosophy of Science | Georg Meggle (Ed.) |
9783110816242 |
De Gruyter |
Philosophy of Science , Philosophy of Science |
1997 |
|
| Logic, Language and Computation | assisted by |
9783540483915 |
Springer |
Computer Science |
792 |
1994 |
| Logic, Language, and Security | Andreas Mündt |
9783030620776 |
Springer |
Computer Science |
2020 |
|
| Logical Foundations of Computer Science | Anil Nerode, Yu. V. Matiyasevich |
9783030367558 |
Springer |
Computer Science |
813 |
1994 |
| Logical Inquiries | Rescher, Nicholas |
9783110347814 |
De Gruyter |
Logic , Logic |
2014 |
|
| Logics for Computer Science | Singh, Arindama |
9789387472440 |
PHI |
Computer |
2nd ed. |
2021 |
| Logics for Concurrency | Faron Moller, Graham Birtwistle |
9783540496755 |
Springer |
Computer Science |
1043 |
1996 |
| Logics in Artificial Intelligence: European Workshop JELIA '94 York, UK | Craig MacNish, David Pearce, LuÃs Moniz Pereira |
9783540486572 |
Springer |
Computer Science |
838 |
1994 |
