JavaScript seems to be disabled in your browser.
JavaScript turi būti instaliuota jūsų naršyklėje, jog ši svetainė veiktų.

0 Krepšelis

Profilis 0 Mėgstami

0Krepšelis

Mathematical logic

Mathematical logic

Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings

Higher Order Logic Theorem Provi...

Knyga minkštu viršeliu

(0)

84,68 €

84,68 €

Į krepšelį

Išsiųsime per 13-17 d. d.

Fuzzy Logic, Neural Networks, and Evolutionary Computation: IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, November 14 - 15, 1995, Selected Papers

Fuzzy Logic, Neural Networks, an...

Knyga minkštu viršeliu

(0)

84,68 €

84,68 €

Į krepšelį

Išsiųsime per 13-17 d. d.

Application and Theory of Petri Nets 1996: 17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings

Application and Theory of Petri ...

Knyga minkštu viršeliu

(0)

169,38 €

169,38 €

Į krepšelį

Išsiųsime per 13-17 d. d.

Quantifier Elimination and Cylindrical Algebraic Decomposition

Quantifier Elimination and Cylin...

Knyga minkštu viršeliu

(0)

84,68 €

84,68 €

Į krepšelį

Išsiųsime per 13-17 d. d.

Nonstandard Analysis in Practice

Nonstandard Analysis in Practice

Knyga minkštu viršeliu

(0)

82,48 €

82,48 €

Į krepšelį

Išsiųsime per 13-17 d. d.

Types for Proofs and Programs: International Workshop TYPES 94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Types for Proofs and Programs: I...

Knyga minkštu viršeliu

(0)

84,68 €

84,68 €

Į krepšelį

Išsiųsime per 13-17 d. d.

Acting and Reflecting: The Interdisciplinary Turn in Philosophy

Acting and Reflecting: The Inter...

Knyga kietu viršeliu

(0)

169,38 €

169,38 €

Į krepšelį

Išsiųsime per 18-22 d. d.

ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

ISILC - Proof Theory Symposion: ...

Knyga minkštu viršeliu

(0)

59,20 €

59,20 €

Į krepšelį

Išsiųsime per 13-17 d. d.

ISILC - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

ISILC - Logic Conference: Procee...

Knyga minkštu viršeliu

(0)

84,61 €

84,61 €

Į krepšelį

Išsiųsime per 13-17 d. d.

Fundamentals of Computation Theory: Proceedings of the 1977 International FCT-Conference. Poznan - Kornik, Poland, September 19 - 23, 1977

Fundamentals of Computation Theo...

Knyga minkštu viršeliu

(0)

84,68 €

84,68 €

Į krepšelį

Išsiųsime per 13-17 d. d.

Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings

Automata, Languages and Programm...

Knyga minkštu viršeliu

(0)

84,68 €

84,68 €

Į krepšelį

Išsiųsime per 13-17 d. d.

5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980

5th Conference on Automated Dedu...

Knyga minkštu viršeliu

(0)

84,68 €

84,68 €

Į krepšelį

Išsiųsime per 13-17 d. d.

Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz,Poland, September 1-7, 1979

Model Theory of Algebra and Arit...

Knyga minkštu viršeliu

(0)

76,14 €

76,14 €

Į krepšelį

Išsiųsime per 13-17 d. d.

Pirkėjų atsiliepimai

Greitas prekių išsiuntimas, puikios kainos!

Prekę gavau sekančią dieną

Vilija J.

Greitai atkeliavo siunta.

Greita patogu viskas super

Inga K.

Viskas vyko sklandžiai ir greitai.

Vilma T.

Knygas pirkau su defektais, tačiau jokių defektų nepastebėjau. Atėjo labai greitai

Aušra B.

Greitas pristatymas

Marius R.