Logic, Rationality, and Interaction/Wiebe van der Hoek

 

QR code of document

Ratings: 0


Wiebe van der Hoek
    Logic, Rationality, and Interaction [Электронный ресурс] / Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang. - Электроные текстовые данные. - 1007/978-3-662-48561-3. - [S. l.] : Springer Berlin Heidelberg, 2015. - ( час. мин.), 1007/978-3-662-48561-3. - (Lecture Notes in Computer Science) . - ISBN 9783662485613

Кл.слова (ненормированные):
Computer science -- Mathematical Logic and Formal Languages -- Mathematical Logic and Foundations -- Discrete Mathematics in Computer Science -- Symbolic and Algebraic Manipulation -- Logics and Meanings of Programs -- книги издательства Springer

Open link to player

Please authorize to view