Languages
Subject
Format
Availabity
Authors

Search result

Jud Bowen, Judy Bowen, Alan Dix, Alan Dix et al, Philippe Palanque, Benjamin Weyers - The Handbook of Formal Methods in Human-Computer Interaction
Jud Bowen, Judy Bowen, Alan Dix, Alan Dix et al, Philippe Palanque, Benjamin Weyers The Handbook of Formal Methods in Human-Computer Interaction English 01.01.2018 Paperback / Softback Fr. 357.00 6-7 weeks
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 English 01.01.2018 Paperback / Softback Fr. 124.00 6-7 weeks
Zoran Markovi¿, Zora Markovic, Zoran Markovic, Zoran Marković, Zoran Ognjanovi¿, Zora Ognjanovic... - Probability Logics
Zoran Markovi¿, Zora Markovic, Zoran Markovic, Zoran Marković, Zoran Ognjanovi¿, Zora Ognjanovic... Probability Logics English 01.01.2018 Paperback / Softback Fr. 169.00 6-7 weeks
Dov Gabbay, Dov M Gabbay, Dov M. Gabbay, Karl Schlechta - A New Perspective on Nonmonotonic Logics
Dov Gabbay, Dov M Gabbay, Dov M. Gabbay, Karl Schlechta A New Perspective on Nonmonotonic Logics English 01.01.2018 Paperback / Softback Fr. 135.00 6-7 weeks
Shuvend K Lahiri, Shuvendu K Lahiri, Shuvendu Lahiri, Shuvendu K. Lahiri, Wang, Wang... - Automated Technology for Verification and Analysis
Shuvend K Lahiri, Shuvendu K Lahiri, Shuvendu Lahiri, Shuvendu K. Lahiri, Wang, Wang... Automated Technology for Verification and Analysis English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Argente, Argente, Estefanía Argente, Francesc Belardinelli, Francesco Belardinelli - Multi-Agent Systems and Agreement Technologies
Argente, Argente, Estefanía Argente, Francesc Belardinelli, Francesco Belardinelli Multi-Agent Systems and Agreement Technologies English 31.12.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Mehwish Alam, Aldo Gangemi, Pascal Hitzler, Laura Hollink, Robert Navigli, Roberto Navigli... - The Semantic Web
Mehwish Alam, Aldo Gangemi, Pascal Hitzler, Laura Hollink, Robert Navigli, Roberto Navigli... The Semantic Web English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Marí del Mar Gallardo, María del Mar Gallardo, Maria del Mar Gallardo, María del Mar Gallardo, Merino, Merino... - Model Checking Software
Marí del Mar Gallardo, María del Mar Gallardo, Maria del Mar Gallardo, María del Mar Gallardo, Merino, Merino... Model Checking Software English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Claudia d¿Amato, Claudia d’Amato, Claudia dAmato, Claudi d'Amato, Claudia d'Amato, Theobald... - Reasoning Web. Learning, Uncertainty, Streaming, and Scalability
Claudia d¿Amato, Claudia d’Amato, Claudia dAmato, Claudi d'Amato, Claudia d'Amato, Theobald... Reasoning Web. Learning, Uncertainty, Streaming, and Scalability English 31.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Davide Ciucci, Gabriell Pasi, Gabriella Pasi, Barbara Vantaggi - Scalable Uncertainty Management
Davide Ciucci, Gabriell Pasi, Gabriella Pasi, Barbara Vantaggi Scalable Uncertainty Management English 30.11.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Stephen Crabbe - Controlling Language in Industry
Stephen Crabbe Controlling Language in Industry English 01.01.2018 Paperback / Softback Fr. 91.00 6-7 weeks
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 English 01.01.2018 Paperback / Softback Fr. 147.00 6-7 weeks
Katali Bimbo, Katalin Bimbo - J. Michael Dunn on Information Based Logics
Katali Bimbo, Katalin Bimbo J. Michael Dunn on Information Based Logics English 01.01.2018 Paperback / Softback Fr. 135.00 6-7 weeks
Audun Jøsang - Subjective Logic
Audun Jøsang Subjective Logic English 01.01.2018 Paperback / Softback Fr. 216.00 6-7 weeks
Leslie F Sikos, Leslie F. Sikos - Description Logics in Multimedia Reasoning
Leslie F Sikos, Leslie F. Sikos Description Logics in Multimedia Reasoning English 01.01.2018 Paperback / Softback Fr. 147.00 6-7 weeks
Miroslav Hudec - Fuzziness in Information Systems
Miroslav Hudec Fuzziness in Information Systems English 01.01.2018 Paperback / Softback Fr. 135.00 6-7 weeks
Samson Abramsky, Juh Kontinen, Juha Kontinen, Jouko Väänänen, Jouko Väänänen et al, Heribert Vollmer - Dependence Logic
Samson Abramsky, Juh Kontinen, Juha Kontinen, Jouko Väänänen, Jouko Väänänen et al, Heribert Vollmer Dependence Logic English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Marian Mure¿an, Marian Muresan, Marian Mureşan - Introduction to Mathematica® with Applications; .
Marian Mure¿an, Marian Muresan, Marian Mureşan Introduction to Mathematica® with Applications; . English 01.01.2018 Paperback / Softback Fr. 159.00 6-7 weeks
Annie Foret, Gre Kobele, Greg Kobele, Sylvain Pogodalla - Formal Grammar 2018
Annie Foret, Gre Kobele, Greg Kobele, Sylvain Pogodalla Formal Grammar 2018 English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Bernadette Bouchon-Meunier, Inma P. Cabrera, Inmaculada P. Cabrera, José Luis Verdegay et al, Jesús Medina, Manue Ojeda-Aciego... - Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations
Bernadette Bouchon-Meunier, Inma P. Cabrera, Inmaculada P. Cabrera, José Luis Verdegay et al, Jesús Medina, Manue Ojeda-Aciego... Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations English 01.01.2018 Paperback / Softback Fr. 135.00 6-7 weeks