A to Z List of Ebooks
| Title | Author | ISBN | Publisher | Subject | Vol/Edition | Year |
|---|---|---|---|---|---|---|
| Logic at Botik '89 | Albert R. Meyer, Michael A. Taitslin |
9783540461807 |
Springer |
Computer Science |
363 |
1989 |
| Logic Colloquium | Rohit Parikh |
9783540374831 |
Springer |
Mathematics |
453 |
1975 |
| Logic in Databases | Dino Pedreschi, Carlo Zaniolo |
9783540706830 |
Springer |
Computer Science |
1154 |
1996 |
| Logic of Causal Order | James A. Davis |
9781412986212 |
SAGE Publications Ltd |
social sciences, quantitative research |
1985 |
|
| Logic of Infinity | Sheppard |
9781107415614 |
Cambridge University Press |
Mathematics,Philosophy, Logic, Categories and Sets,Logic |
2012 |
|
| Logic of Information Structures | Heinrich Wansing |
9783540476429 |
Springer |
Computer Science |
681 |
1993 |
| Logic of Programs | Erwin Engeler |
9783540386315 |
Springer |
Computer Science |
125 |
1981 |
| Logic Program Synthesis and Transformation | Maurizio Proietti |
9783540497455 |
Springer |
Computer Science |
1048 |
1996 |
| Logic Program Synthesis and Transformation — Meta-Programming in Logic | Laurent Fribourg, Franco Turini |
9783540491040 |
Springer |
Computer Science |
883 |
1994 |
| 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 |
