Search alternatives:
"translators" » "translator", "translations", "transistors"

1
by Fraïssé, Roland
Published 1986
North-Holland

2
by Golumbic, Martin Charles, Sainte-Laguë, André
Published 2021
Springer International Publishing
...Marking 94 years since its first appearance, this book provides an annotated translation of Sainte...

3
by Peterfalvi, Thomas
Published 2000
Cambridge University Press

4
by Korneĭchuk, Nikolaĭ Pavlovich
Published 1990
Cambridge University Press

5
by Picard, Claude François
Published 1980
North-Holland Publishing Company, Sole distributors for the U.S.A. and Canada, Elsevier North-Holland

6
by Bergeron, F., Labelle, Gilbert, Leroux, P.
Published 1998
Cambridge University Press

7
by Krajíček, Jan
Published 2019
Cambridge University Press
Table of Contents: ... of the correspondence -- Two worlds of bounded arithmetic -- Up to EF via the <...> translation -- Examples of upper...

8
by Engeler, Erwin
Published 1993
Springer Berlin Heidelberg
... intermittently at the ETH over a number of years. Following repeated suggestions, this English translation...

9
by Chatti, Saloua
Published 2019
Birkhäuser
Table of Contents: ...Chapter 1: General Introduction -- Chapter 2: The Rise of Arabic Logic: Authors, Translations...

10
Published 1994
Springer Netherlands
Table of Contents: ... (1902): Translated for the American Mathematical Society by E. V. Huntington (1903) -- On Non...

11
by Mints, Grigori
Published 2000
Springer US
Table of Contents: ... Logic -- Negative Translation: Glivenko’s Theorem -- Program Interpretation of Intuitionistic Logic...

12
by Skolem, Th
Published 1955
North-Holland Pub. Co.
Table of Contents: .... Hasenjaeger -- Models, translations and interpretations / G. Kreisel -- Ordered structures and related...

13
Published 2014
Springer New York
Table of Contents: ... translation, needs redoing) -- 2.4 Item 8 below (old translation, needs redoing) -- 2.5 Exercise 31pc in item...

14
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... -- Parallel Translation of DNA Clusters by VCSEL Array Trapping and Temperature Control with Laser...

15
by Kharazishvili, A.B.
Published 1998
Springer Netherlands
Table of Contents: ... ?-ideals on the real line -- 7. Translations of sets and functions -- 8. The Steinhaus property...

16
by Kohlenbach, Ulrich
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... of uniform boundedness -- Elimination of monotone Skolem functions -- The Friedman A-translation...

17
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... and Complete CPS-Translation for ??-Calculus -- Abstraction Barrier-Observing Relational Parametricity...

18
Published 1982
Springer Berlin Heidelberg
Table of Contents: ... groups -- On irreducible translation planes in odd characteristic, I -- The equivalence classes...

19
Published 2018
Springer International Publishing
Table of Contents: ..., Empiricism, and Translation (Roy T Cook) -- Chapter 4. Putnam’s Theorem on the Complexity of Models (Warren...

20
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... -- Propositional quantification in intuitionistic logic -- Sketch-as-proof -- Translating set theoretical proofs...