Набиране на средства 15 септември 2024 – 1 октомври 2024 Относно набирането на средства

Търсене на термини

  • Main
  • Търсене на термини
1
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

Larry Wos (auth.), Maria Paola Bonacina, Mark E. Stickel (eds.)
Година:
2013
Език:
english
Файл:
PDF, 4.03 MB
0 / 5.0
english, 2013
2
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

Larry Wos (auth.), Maria Paola Bonacina, Mark E. Stickel (eds.)
Година:
2013
Език:
english
Файл:
PDF, 3.91 MB
0 / 0
english, 2013
3
Modelling Puzzles in First Order Logic

Modelling Puzzles in First Order Logic

Adrian Groza
Година:
2021
Език:
english
Файл:
PDF, 7.10 MB
0 / 5.0
english, 2021
4
Modelling Puzzles in First Order Logic

Modelling Puzzles in First Order Logic

Adrian Groza
Година:
2021
Език:
english
Файл:
PDF, 7.10 MB
0 / 0
english, 2021
5
Modelling Puzzles in First Order Logic

Modelling Puzzles in First Order Logic

Adrian Groza
Година:
2021
Език:
english
Файл:
EPUB, 74.46 MB
0 / 4.0
english, 2021
6
Proof Technology in Mathematics Research and Teaching

Proof Technology in Mathematics Research and Teaching

Gila Hanna, David A. Reid, Michael de Villiers
Година:
2019
Език:
english
Файл:
PDF, 10.33 MB
0 / 0
english, 2019
8
Axioms for Lattices and Boolean Algebras

Axioms for Lattices and Boolean Algebras

R. Padmanabhan, S. Rudeanu
Година:
2008
Език:
english
Файл:
PDF, 1.50 MB
0 / 0
english, 2008
10
Axioms For Lattices And Boolean Algebras

Axioms For Lattices And Boolean Algebras

R. Padmanabhan, S. Rudeanu
Година:
2008
Език:
english
Файл:
DJVU, 1.93 MB
0 / 0
english, 2008