Тема, жанр, tags: Mathematical Logic and Formal Languages » Page 1744 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Mathematical Logic and Formal Languages » Page 1744

book Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems

Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems

djvu

Author: Madhu Sudan (eds.)
Language: English
Year: 1995

00

26.01.2024

0

0

book New Computational Paradigms: Changing Conceptions of What is Computable

New Computational Paradigms: Changing Conceptions of What is Computable

pdf

Author: Andrew Hodges (auth.) S. Barry Cooper Benedikt Löwe Andrea Sorbi (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Rewriting Techniques and Applications: Bordeaux, France, May 25–27, 1987 Proceedings

Rewriting Techniques and Applications: Bordeaux, France, May 25–27, 1987 Proceedings

djvu

Author: Michael J. O'Donnell (auth.) Pierre Lescanne (eds.)
Language: English
Year: 1987

00

26.01.2024

0

0

book Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8–10, 1987 Proceedings

Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8–10, 1987 Proceedings

djvu

Author: J. C. M. Baeten W. P. Weijland (auth.) S. Kaplan J. -P. Jouannaud (eds.)
Language: English
Year: 1988

00

26.01.2024

0

0

book Grammar and L forms: An introduction

Grammar and L forms: An introduction

djvu

Author: Derick Wood (eds.)
Language: English
Year: 1980

00

26.01.2024

0

0

book Combinatorics on Traces

Combinatorics on Traces

djvu

Author: Volker Diekert (auth.)
Language: English
Year: 1990

00

26.01.2024

0

0

book Efficient Graph Rewriting and Its Implementation

Efficient Graph Rewriting and Its Implementation

djvu

Author: Heiko Dörr (eds.)
Language: English
Year: 1995

00

26.01.2024

0

0

book Killer Cell Dynamics: Mathematical and Computational Approaches to Immunology

Killer Cell Dynamics: Mathematical and Computational Approaches to Immunology

pdf

Author: Dominik Wodarz (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Tutorials in Mathematical Biosciences I: Mathematical Neuroscience

Tutorials in Mathematical Biosciences I: Mathematical Neuroscience

pdf

Author: Alla Borisyuk Avner Friedman Bard Ermentrout David Terman (auth.)
Language: English
Year: 2005

00

26.01.2024

0

0