Home Advanced Search

Advanced Search - Page 1

Interactive Theorem Proving
  • PDF
  • English
  • Year: 2018
  • Author: Jeremy Avigad, Assia Mahboubi
Mathematical Logic and Computation
  • PDF
  • English
  • Year: 2022
  • Author: Jeremy Avigad
Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Assia Mahboubi (auth.), Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger (eds.)
Aramaic Inscriptions in the Tomb of Jason
  • PDF
  • English
  • Author: Avigad N.
Computability and incompleteness. Lecture notes
  • PDF
  • English
  • Year: 2007
  • Author: Avigad J.
Computability and Incompleteness
  • PDF
  • English
  • Year: 2007
  • Author: Avigad J.
Spirulina Platensis Arthrospira: Physiology, Cell-Biology And Biotechnology
  • PDF
  • English
  • Year: 1997
  • Author: Avigad Vonshak
Fantasia
  • PDF
  • German
  • Year: 1993
  • Author: Assia Djebar
Designer's Guide to Lab Practice
  • PDF
  • English
  • Year: 2023
  • Author: Assia Crawford
Designer’s Guide to Lab Practice
  • PDF
  • English
  • Year: 2024
  • Author: Assia Crawford
search