logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) - Erich Grxe4del, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Add cover
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
by: (author) (author) (author) (author) (author) (author) (author) (author)
Format: kindle
ASIN: B007UNK6Y0
Publisher: Springer
Pages no: 437
Edition language: English
Bookstores:
Books by Scott Weinstein
SNL Presents - The Clinton Years - Michael Shoemaker, Scott Weinstein
Finite Model Theory and Its Applications... Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) - Erich Grxe4del, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Systems That Learn: An Introduction to Learning Theory for Cognitive and Computer Scientists - Daniel N. Osherson, Michael Stob, Scott Weinstein
Books by Joel Spencer
The Probabilistic Method - Noga Alon, Joel H. Spencer, Joel Spencer
Probabilistic Methods In Combinatorics -... Probabilistic Methods In Combinatorics - Paul Erdos, Joel Spencer
Probabilistic Method, The. Wiley-Intersc... Probabilistic Method, The. Wiley-Interscience Series in Discrete Mathematics and Optimization. - Noga Alon, Joel Spencer
The Strange Logic of Random Graphs - Joel Spencer
Ecole D'Ete de Probabilites de Saint-Flour XXI - 1991 - Donald A. Dawson, Joel Spencer
Discrete Probability and Algorithms (The IMA Volumes in Mathematics and its Applications) - David Aldous, Persi Diaconis, Joel Spencer, J. Michael Steele
Ten Lectures on the Probabilistic Method - Joel Spencer
Finite Model Theory and Its Applications... Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) - Erich Grxe4del, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Books by Yde Venema
Modal Logic - Patrick Blackburn, Yde Venema, Maarten de Rijke
Modal Logic and Process Algebra - Alban Ponse, Maarten de Rijke, Yde Venema
Advances in Modal Logic, Volume 6 - Guido Governatori, Ian Hodkinson, Yde Venema
Multi-Dimensional Modal Logic - M. Marx, Yde Venema
Finite Model Theory and Its Applications... Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) - Erich Grxe4del, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Books by Maarten Marx
Arrow Logic and Multi-Modal Logic - Maarten Marx, Maarten Marx, Laszlo Polos
Finite Model Theory and Its Applications... Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) - Erich Grxe4del, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Books by Leonid Libkin
Constraint Databases - Gabriel Kuper, Le... Constraint Databases - Gabriel Kuper, Leonid Libkin, Jan Paredaens
Semantics in Databases (Lecture Notes in... Semantics in Databases (Lecture Notes in Computer Science) - Bernhard Thalheim, Leonid Libkin
Finite Model Theory and Its Applications... Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) - Erich Grxe4del, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Foundations of Data Exchange - Marcelo Arenas, Pablo Barcelo, Leonid Libkin, Filip Murlak
Books by Moshe Y. Vardi
Tark Proceedings 1988 - Moshe Y. Vardi
Finite Model Theory and Its Applications... Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) - Erich Grxe4del, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Database Theory - ICDT '95: 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings (Lecture Notes in Computer Science) - Georg Gottlob, Moshe Y. Vardi
Computer Aided Verification: 10th International Conference, Cav'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings - Alan J. Hu, Moshe Y. Vardi
Books by Phokion G. Kolaitis
Complexity of Constraints: An Overview of Current Research Themes - Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer
Finite Model Theory and Its Applications... Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) - Erich Grxe4del, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Books by Erich Grxe4del
Automata, Logics, and Infinite Games: A Guide to Current Research (Lecture Notes in Computer Science) - Erich Grxe4del, Wolfgang Thomas, Thomas Wilke
Finite Model Theory and Its Applications... Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) - Erich Grxe4del, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Share this Book
Copyright © 2025 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.