Miroslav Benda

发表

Internate Architecture: Its Evolution from an Industry Perspective - Guest Editor's Introduction

Miroslav Benda, 1998, IEEE Internet Comput..

Construction of Models from Groups of Permutations

Miroslav Benda, 1975, J. Symb. Log..

AI Adventures Worth Writing Home About

Miroslav Benda, 1993, IJCAI.

Architecture Perspective: Applications on the Global Computer

Miroslav Benda, 1997, IEEE Internet Comput..

On Harrington's Partition Relation

Miroslav Benda, M. Benda, 1980, J. Comb. Theory, Ser. A.

Architecture Perspective: Data, Data, Everywhere

Miroslav Benda, 1997, IEEE Internet Comput..

Architecture Perspective: The Architecture of Global Access

Miroslav Benda, 1997, IEEE Internet Comput..

Architecture Perspective: Shaping the Internet: The Dynamics

Miroslav Benda, 1998, IEEE Internet Comput..

On Strong Axioms of Induction in Set Theory and Arithmetic

Miroslav Benda, M. Benda, 1980 .

Computer-supported Exploration of a Categorical Axiomatization of Modeloids pdf

Christoph Benzmüller, Dana S. Scott, Miroslav Benda, 2020, RAMiCS.

Remarks on countable models

Miroslav Benda, 1974 .