Logic, Computation, Hierarchies 9781614518044, 9781614517832

Logic, Computation, Hierarchies 9781614518044, 9781614517832

Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in

157 6 5MB Read more

Logic, Construction, Computation 9783110324921, 9783110324532

Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of thei

158 81 3MB Read more

Logic,Computation and Set Theory

438 61 2MB Read more

Logic and Computation 3036573763, 9783036573762

The present reprint contains five articles accepted and published in the Special Issue "Logic and Computation 2023&

158 97 5MB Read more

The Cultural Logic of Computation 9780674053885

Golumbia, who worked as a software designer for more than ten years, argues that computers are cultural “all the way dow

139 59 904KB Read more

Dialog Systems: A Perspective from Language, Logic and Computation (Logic, Argumentation & Reasoning, 22) 3030614379, 9783030614379

112 27 6MB Read more

Logic, Language, and Computation: 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, ... (Lecture Notes in Computer Science, 4363) 3540751432, 9783540751434

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second

102 90 6MB Read more

Female Hierarchies 1351519999, 9781351519991

Disproportionate attention has long been paid to males in human and other social systems. The basic structures used to e

176 67 1MB Read more

Puzzles in Logic, Languages and Computation: The Red Book 9783642343773, 9783642343780, 3642343775

This book collects engaging problems created for students competing in the Computational Linguistics Olympiad. It offers

225 13 5MB Read more

Introduction to Computation: Haskell, Logic and Automata [1 ed.] 3030769070, 9783030769079

Computation, itself a form of calculation, incorporates steps that include arithmetical and non-arithmetical (logical) s

210 16 9MB Read more