|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
Intermediate logic David Bostock by Bostock, David. Material type:  Text; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Publication details: Oxford [a. o.] Clarendon Press [a. o.] 2002Availability: No items available :
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
|
|
|
9.
|
Theory and Applications of Satisfiability Testing - SAT 2008 Электронный ресурс 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings / edited by Hans Kleine Büning, Xishun Zhao. by Kleine Büning, Hans | Zhao, Xishun | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type:  Computer file; Format:
electronic
available online
 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
|
10.
|
|
|
|
11.
|
|
|
|
12.
|
Computer Science Logic Электронный ресурс 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings / edited by Jacques Duparc, Thomas A. Henzinger. by Duparc, Jacques | Henzinger, Thomas A | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
|
13.
|
|
|
|
14.
|
|
|
|
15.
|
|
|
|
16.
|
Visualization, Explanation and Reasoning Styles in Mathematics Электронный ресурс edited by Paolo Mancosu, Klaus Frovin Jørgensen, Stig Andur Pedersen. by Mancosu, Paolo | Jørgensen, Klaus Frovin | Pedersen, Stig Andur | SpringerLink (Online service). Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Dordrecht : Springer, 2005Online access: Click here to access online Availability: No items available :
|
|
|
17.
|
|
|
|
18.
|
|
|
|
19.
|
Analysis and Synthesis of Logics Электронный ресурс How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. by Carnielli, Walter | Coniglio, Marcelo | Gabbay, Dov M | Gouveia, Paula | Sernadas, Cristina | SpringerLink (Online service). Series: Applied Logic SeriesSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Dordrecht : Springer Science+Business Media B.V., 2008Online access: Click here to access online Availability: No items available :
|
|
|
20.
|
|
|
|
21.
|
|
|
|
22.
|
|
|
|
23.
|
|
|
|
24.
|
|
|
|
25.
|
The Nature of Computation. Logic, Algorithms, Applications [electronic resource] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe. by Bonizzoni, Paola [editor.] | Brattka, Vasco [editor.] | Löwe, Benedikt [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
|
|
|
26.
|
|
|
|
27.
|
|
|
|
28.
|
|
|
|
29.
|
|
|
|
30.
|
|
|
|
31.
|
|
|
|
32.
|
|
|
|
33.
|
|
|
|
34.
|
|
|
|
35.
|
|
|
|
36.
|
Theory and Applications of Satisfiability Testing (vol. # 3542) Электронный ресурс 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers edited by Holger H. Hoos, David G. Mitchell. by Hoos, Holger H | Mitchell, David G | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
|
|
|
37.
|
|
|
|
38.
|
|
|
|
39.
|
|
|
|
40.
|
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / edited by Sergei Artemov, Anil Nerode. by Artemov, Sergei [editor.] | Nerode, Anil [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
|
|
|
41.
|
|
|
|
42.
|
|
|
|
43.
|
|
|
|
44.
|
|
|
|
45.
|
|
|
|
46.
|
|
|
|
47.
|
Institution-independent Model Theory Электронный ресурс by RДѓzvan Diaconescu ; edited by Jean-Yves Beziau, Hajnal Andréka , Mark Burgin, Răzvan Diaconescu, Josep Maria Font, Andreas Herzig, Arnold Koslow, Jui-Lin Lee, Larissa Maksimova, Grzegorz Malinowski, Darko Sarenac, Peter Schröder-Heister, Vladimir Vasyukov. by Diaconescu, Răzvan | Andréka, Hajnal | Beziau, Jean-Yves | Burgin, Mark | Diaconescu, Răzvan | Font, Josep Maria | Herzig, Andreas | Koslow, Arnold | Lee, Jui-Lin | Maksimova, Larissa | Malinowski, Grzegorz | Sarenac, Darko | Schröder-Heister, Peter | Vasyukov, Vladimir | SpringerLink (Online service). Series: Studies in Universal LogicSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Basel : Birkhäuser Verlag, 2008Online access: Click here to access online Availability: No items available :
|
|
|
48.
|
|
|
|
49.
|
|
|
|
50.
|
|
