Тема, жанр, tags: Mathematical Logic and Formal Languages,Algorithm Analysis and Problem Complexity,Symbolic and Algeb » Page 358 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Mathematical Logic and Formal Languages,Algorithm Analysis and Problem Complexity,Symbolic and Algeb » Page 358

book Eurocal '87: European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings

Eurocal '87: European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings

djvu

Author: R. N. Fedorova V. P. Gerdt N. N. Govorun V. P. Shirikov (auth.) James H. Davenport (eds.)
Language: English
Year: 1989

00

26.01.2024

0

0

book Eurocal '87: European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings

Eurocal '87: European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings

djvu

Author: R. N. Fedorova V. P. Gerdt N. N. Govorun V. P. Shirikov (auth.) James H. Davenport (eds.)
Language: English
Year: 1989

00

26.01.2024

0

0

book Mathematical linguistics

Mathematical linguistics

pdf

Author: András Kornai (auth.)
Language: English
Year: 2008

00

26.01.2024

0

0

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 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