|
|
|
Logic in games / Johan van Benthem.
by Benthem, Johan van, 1949- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type:  Book; Format:
available online
 Publisher: Cambridge, Massachusetts ; MIT Press, [2014], c2014Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2014]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Towards Paraconsistent Engineering [electronic resource] / edited by Seiki Akama.
by Akama, Seiki [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic [electronic resource] / by Enric Trillas.
by Trillas, Enric [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Discrete Mathematical Structures
by Kolman, Bernard | Busby, Robert C | Ross, Sharon. Edition: 6Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi PHI 2012Availability: Items available for loan:
[Call number: 512 K811D]
(2).
|
|
|
|
Discrete Mathematical Structures
by Kolman, Bernard | Busby, Robert C | Ross, Sharon. Edition: 3Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi PHI 1996Availability: Items available for loan:
[Call number: 512 K811D]
(1).
|
|
|
|
Logic, Language, Information, and Computation [electronic resource] : 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings / edited by Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz.
by Ciabattoni, Agata [editor.] | Pimentel, Elaine [editor.] | de Queiroz, Ruy J. G. B [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Logic, Language, Information and Computation [electronic resource] : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings / edited by Wilfrid Hodges, Ruy de Queiroz.
by Hodges, Wilfrid [editor.] | de Queiroz, Ruy [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Where Responsibility Takes You [electronic resource] : Logics of Agency, Counterfactuals, and Norms / by Ilaria Canavotto.
by Canavotto, Ilaria [author.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Logic, Language, Information, and Computation [electronic resource] : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings / edited by Helle Hvid Hansen, Andre Scedrov, Ruy J.G.B. de Queiroz.
by Hansen, Helle Hvid [editor.] | Scedrov, Andre [editor.] | de Queiroz, Ruy J.G.B [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Tests and Proofs [electronic resource] : 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings / edited by Laura Kovács, Karl Meinke.
by Kovács, Laura [editor.] | Meinke, Karl [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Logic, Language, Information, and Computation [electronic resource] : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings / edited by Alexandra Silva, Renata Wassermann, Ruy de Queiroz.
by Silva, Alexandra [editor.] | Wassermann, Renata [editor.] | de Queiroz, Ruy [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Logic, Language, and Computation [electronic resource] : 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers / edited by Balder D. ten Cate, Henk W. Zeevat.
by Cate, Balder D. ten [editor.] | Zeevat, Henk W [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
The Logic of Categorial Grammars [electronic resource] : A deductive account of natural language syntax and semantics / by Richard Moot, Christian Retore.
by Moot, Richard [author.] | Retore, Christian [author.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Logic, Rationality, and Interaction [electronic resource] : 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings / edited by Natasha Alechina, Andreas Herzig, Fei Liang.
by Alechina, Natasha [editor.] | Herzig, Andreas [editor.] | Liang, Fei [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Dynamic Logic. New Trends and Applications [electronic resource] : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers / edited by Carlos Areces, Diana Costa.
by Areces, Carlos [editor.] | Costa, Diana [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
