Langues
remettre à zéro Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Horacio Arló-Costa, Johan Van Benthem, Vincen F Hendricks, Vincent F Hendricks, Vincent F. Hendricks, Johan van Benthem - Readings in Formal Epistemology
Horacio Arló-Costa, Johan Van Benthem, Vincen F Hendricks, Vincent F Hendricks, Vincent F. Hendricks, Johan van Benthem Readings in Formal Epistemology Anglais 01.01.2016 Livre Relié Fr. 169.00 6-7 semaines
Janus Czelakowski, Janusz Czelakowski - Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Janus Czelakowski, Janusz Czelakowski Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science Anglais 01.01.2018 Livre Relié Fr. 158.00 6-7 semaines
Gura Bezhanishvili, Guram Bezhanishvili - Leo Esakia on Duality in Modal and Intuitionistic Logics
Gura Bezhanishvili, Guram Bezhanishvili Leo Esakia on Duality in Modal and Intuitionistic Logics Anglais 01.01.2016 Livre de poche Fr. 169.00 6-7 semaines
Can Baskent, Can Başkent, Lawrence S. Moss, Ramaswamy Ramanujam, Lawrenc S Moss, Lawrence S Moss - Rohit Parikh on Logic, Language and Society
Can Baskent, Can Başkent, Lawrence S. Moss, Ramaswamy Ramanujam, Lawrenc S Moss, Lawrence S Moss Rohit Parikh on Logic, Language and Society Anglais 01.01.2018 Livre de poche Fr. 147.00 6-7 semaines
Horacio Arló-Costa, Johan Van Benthem, Vincen F Hendricks, Vincent F Hendricks, Vincent F. Hendricks, Johan van Benthem - Readings in Formal Epistemology
Horacio Arló-Costa, Johan Van Benthem, Vincen F Hendricks, Vincent F Hendricks, Vincent F. Hendricks, Johan van Benthem Readings in Formal Epistemology Anglais 01.01.2018 Livre de poche Fr. 124.00 6-7 semaines
Joanna Goli¿ska-Pilarek, Joann Golinska-Pilarek, Joanna Golinska-Pilarek, Joanna Golińska-Pilarek, Zawidzki, Zawidzki... - Ewa Orlowska on Relational Methods in Logic and Computer Science
Joanna Goli¿ska-Pilarek, Joann Golinska-Pilarek, Joanna Golinska-Pilarek, Joanna Golińska-Pilarek, Zawidzki, Zawidzki... Ewa Orlowska on Relational Methods in Logic and Computer Science Anglais 01.01.2018 Livre Relié Fr. 179.00 6-7 semaines
Andrea Iacona - Logical Form
Andrea Iacona Logical Form Anglais 01.01.2019 Livre de poche Fr. 124.00 6-7 semaines
Sven Ove Hansson - Descriptor Revision
Sven Ove Hansson Descriptor Revision Anglais 01.01.2018 Livre de poche Fr. 70.00 6-7 semaines
Enrico Martino - Intuitionistic Proof Versus Classical Truth
Enrico Martino Intuitionistic Proof Versus Classical Truth Anglais 01.01.2018 Livre de poche Fr. 135.00 6-7 semaines
Jens Erik Fenstad - Structures and Algorithms
Jens Erik Fenstad Structures and Algorithms Anglais 01.01.2018 Livre de poche Fr. 147.00 6-7 semaines
Thomas Macaulay Ferguson - Meaning and Proscription in Formal Logic
Thomas Macaulay Ferguson Meaning and Proscription in Formal Logic Anglais 01.01.2019 Livre de poche Fr. 70.00 6-7 semaines
Stefania Centrone, Sar Negri, Sara Negri, Deniz Sarikaya, Deniz Sarikaya et al, Peter M. Schuster - Mathesis Universalis, Computability and Proof
Stefania Centrone, Sar Negri, Sara Negri, Deniz Sarikaya, Deniz Sarikaya et al, Peter M. Schuster Mathesis Universalis, Computability and Proof Anglais 01.01.2019 Livre Relié Fr. 158.00 6-7 semaines
Christin Weiss, Christina Weiß - Constructive Semantics
Christin Weiss, Christina Weiß Constructive Semantics Anglais 01.01.2019 Livre Relié Fr. 158.00 6-7 semaines
Janus Czelakowski, Janusz Czelakowski - Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Janus Czelakowski, Janusz Czelakowski Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science Anglais 01.01.2019 Livre de poche Fr. 117.00 6-7 semaines
Alexander Gelbukh - Computational Linguistics and Intelligent Text Processing
Alexander Gelbukh Computational Linguistics and Intelligent Text Processing Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
David Basin, Burkhart Wolff - Theorem Proving in Higher Order Logics
David Basin, Burkhart Wolff Theorem Proving in Higher Order Logics Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Alexande Gelbukh, Alexander Gelbukh - Computational Linguistics and Intelligent Text Processing
Alexande Gelbukh, Alexander Gelbukh Computational Linguistics and Intelligent Text Processing Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Jorge Baptista, Maria das Gracas Volpe Nunes, Nuno J. Mamede, Isabel Trancoso - Computational Processing of the Portuguese Language
Jorge Baptista, Maria das Gracas Volpe Nunes, Nuno J. Mamede, Isabel Trancoso Computational Processing of the Portuguese Language Anglais 18.06.2003 Livre de poche Fr. 70.00 6-7 semaines
Robert E. Frederking, Kathryn B. Taylor - Machine Translation: From Real Users to Research
Robert E. Frederking, Kathryn B. Taylor Machine Translation: From Real Users to Research Anglais 21.09.2004 Livre de poche Fr. 70.00 6-7 semaines
G. Grefenstette, Gregory Grefenstette, S. Renals, Steve Renals - Text- and Speech-Triggered Information Access
G. Grefenstette, Gregory Grefenstette, S. Renals, Steve Renals Text- and Speech-Triggered Information Access Anglais 04.08.2003 Livre de poche Fr. 70.00 6-7 semaines