Author books / Книги автора Ulrich Berger (editor),Hannes Diener (editor),Peter Schuster (editor),Monika Seisenberger (editor) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Ulrich Berger (editor),Hannes Diener (editor),Peter Schuster (editor),Monika Seisenberger (editor)

book Logic, Construction, Computation

Logic, Construction, Computation

pdf

Author: Ulrich Berger (editor), Hannes Diener (editor), Peter Schuster (editor), Monika Seisenberger (editor)
Language: English
Year: 2012

00

01.03.2024

0

0

book Concepts of Proof in Mathematics, Philosophy, and Computer Science

Concepts of Proof in Mathematics, Philosophy, and Computer Science

pdf

Author: Dieter Probst (editor), Peter Schuster (editor)
Language: English
Year: 2016

00

01.03.2024

0

0