Home Advanced Search

Advanced Search - Page 1

Temporal Logics in Computer Science. Finite-State Systems
Temporal Logics in Computer Science. Finite-State Systems
  • PDF
  • English
  • Year: 2016
  • Author: Stéphane Demri, Valentin Goranko, Martin Lange
Temporal Logic
  • PDF
  • English
  • Year: 2023
  • Author: Valentin Goranko
Logic as a tool: a guide to formal logical reasoning
Logic as a tool: a guide to formal logical reasoning
  • EPUB
  • English
  • Year: 2016
  • Author: Goranko, Valentin
Logic as a Tool: A Guide to Formal Logical Reasoning
Logic as a Tool: A Guide to Formal Logical Reasoning
  • PDF
  • English
  • Year: 2016
  • Author: Valentin Goranko
Logic and Discrete Mathematics A Concise Introduction
  • PDF
  • English
  • Year: 2015
  • Author: Willem Conradie, Valentin Goranko
Vivre ensemble 4e secondaire: cahier de savoirs et d'activités.
Vivre ensemble 4e secondaire: cahier de savoirs et d'activités.
  • PDF
  • French
  • Year: 2014
  • Author: Stéphane Farley; Martin Dubreuil