Logic, automata, and algorithms

Logic, Automata, and Algorithms Mark A. Aiserman Leonid A. Gusev Lev 1. Rozonoer lrina M. Smirnova Aleksey A. Tal’ Inst...

288 downloads 981 Views 5MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

Recommend Documents

L o g ic a n d Au t om ata T∙ L∙ G Texts in Logic and Games Volume 2 General Series Editor Johan van Benthem Managi...

Computation Engineering Applied Automata Theory and Logic Computation Engineering Applied Automata Theory and Logic ...

LOGIC SYNTHESIS AND VERIFICATION ALGORITHMS LOGIC SYNTHESIS AND VERIFICATION ALGORITHMS by Gary D. Hachtel Universi...

Computation Engineering Applied Automata Theory and Logic Computation Engineering Applied Automata Theory and Logic G...

L o g ic a n d Au t om ata T∙ L∙ G Texts in Logic and Games Volume 2 General Series Editor Johan van Benthem Managi...

L o g ic a n d Au t om ata T∙ L∙ G Texts in Logic and Games Volume 2 General Series Editor Johan van Benthem Managi...