A to Z List of eBooks
| Title | Author | Publisher | Subject | Year | ISBN/e-ISBN | URL |
|---|---|---|---|---|---|---|
| Logic and Computer Science | Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov |
Springer |
Mathematics |
1990 |
978-3-540-52734-3 |
http://dx.doi.org/10.1007/BFb0093921 |
| Logic and Machines: Decision Problems and Complexity | E. Börger, G. Hasenjaeger, D. Rödding |
Springer |
Computer Science |
1984 |
978-3-540-13331-5 |
http://dx.doi.org/10.1007/3-540-13331-3 |
| Logic and Prolog Programming | Saroj Kaushik |
New Age International Publishers |
Engineering , Computer |
2021 |
9788122458527 |
http://elib4u.ipublishcentral.com/product/logic-prolog-programming |
| Logic at Botik '89 | Albert R. Meyer, Michael A. Taitslin |
Springer |
Computer Science |
1989 |
978-3-540-51237-0 |
http://dx.doi.org/10.1007/3-540-51237-3 |
| Logic Colloquium | Rohit Parikh |
Springer |
Mathematics |
1975 |
978-3-540-07155-6 |
http://dx.doi.org/10.1007/BFb0064868 |
| Logic in Databases | Dino Pedreschi, Carlo Zaniolo |
Springer |
Computer Science |
1996 |
978-3-540-61814-0 |
http://dx.doi.org/10.1007/BFb0031733 |
| Logic of Programs | Erwin Engeler |
Springer |
Computer Science |
1981 |
978-3-540-11160-3 |
http://dx.doi.org/10.1007/3-540-11160-3 |
| Logic Program Synthesis and Transformation | Maurizio Proietti |
Springer |
Computer Science |
1996 |
978-3-540-60939-1 |
http://dx.doi.org/10.1007/3-540-60939-3 |
| Logic Program Synthesis and Transformation — Meta-Programming in Logic | Laurent Fribourg, Franco Turini |
Springer |
Computer Science |
1994 |
978-3-540-58792-7 |
http://dx.doi.org/10.1007/3-540-58792-6 |
| Logic Programming '85 | Eiiti Wada |
Springer |
Computer Science |
1986 |
978-3-540-16479-1 |
http://dx.doi.org/10.1007/3-540-16479-0 |
| Logic Programming '86 | Eiiti Wada |
Springer |
Computer Science |
1987 |
978-3-540-18024-1 |
http://dx.doi.org/10.1007/3-540-18024-9 |
| Logic Programming '87 | Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki |
Springer |
Computer Science |
1988 |
978-3-540-19426-2 |
http://dx.doi.org/10.1007/3-540-19426-6 |
| Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia | Andrei Voronkov |
Springer |
Computer Science |
1993 |
978-3-540-56944-2 |
http://dx.doi.org/10.1007/3-540-56944-8 |
| Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94 Kiev, Ukraine | Frank Pfenning |
Springer |
Computer Science |
1994 |
978-3-540-58216-8 |
http://dx.doi.org/10.1007/3-540-58216-9 |
| Logic Programming and Nonmonotonic Reasoning | V. Wiktor Marek, Anil Nerode, M. Truszczyński |
Springer |
Computer Science |
1995 |
978-3-540-59487-1 |
http://dx.doi.org/10.1007/3-540-59487-6 |
| Logic Symposia Hakone 1979, 1980 | Gert H. Müller, Gaisi Takeuti, Tosiyuki Tugué |
Springer |
Mathematics |
1981 |
978-3-540-11161-0 |
http://dx.doi.org/10.1007/BFb0090974 |
| Logic Without Borders | Hirvonen, Åsa / Kontinen, Juha / Kossak, Roman / Villaveces, Andrés |
De Gruyter |
Logic ; Logic |
2015 |
9781614517726 |
http://www.degruyter.com/isbn/9781614516873 |
| Logic Year 1979–80 | Manuel Lerman, James H. Schmerl, Robert I. Soare |
Springer |
Mathematics |
1981 |
978-3-540-10708-8 |
http://dx.doi.org/10.1007/BFb0090934 |
| Logic-Based Program Synthesis and Transformation | Maurizio Gabbrielli |
Springer |
Computer Science |
2020 |
978-3-030-45260-5 |
http://link.springer.com/openurl?genre=book&isbn=978-3-030-45260-5 |
| Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook | Bruce M. Kapron | Association for Computing Machinery | Computer Science | 2023 | 979-8-4007-0779-7 | Link |
