Login / Signup

A Small Remark on Hilbert's Finitist View of Divisibility and Kanovich-Okada-Scedrov's Logical Analysis of Real-Time Systems.

Mitsuhiro Okada
Published in: Logic, Language, and Security (2020)
Keyphrases
  • real time systems
  • artificial intelligence
  • decision making
  • data analysis
  • distributed systems
  • embedded systems
  • object oriented programming language