Some normal forms, codings and their applications to information retrieval

von Marek, Wiktor
Veröffentlicht 1976

Elements of logic and foundations of mathematics in problems

von Marek, Victor W.
Veröffentlicht 1982

On the metamathematics of impredicative set theory

von Marek, Victor W.
Veröffentlicht 1973

On the data base machine

von Marek, Victor W.
Veröffentlicht 1979

On the semantics of the relational model of data base

On the semantics of the relational model of data base

von Marek, Victor W.
Veröffentlicht 1983

Non-classical logics and computer science

Veröffentlicht 1994

Introduction to mathematics of satisfiability

von Marek, Victor W.
Veröffentlicht 2009

On the metamathematics of impredicative set theory

von Marek, Victor W.
Veröffentlicht 1973

On Hamiltonian paths in a graph

von Lipski, Witold
Veröffentlicht 1973

Set Theory and Hierarchy Theory : a memorial tribute to Andrzej Mostowski ; Bierutowice, Poland 1975

Veröffentlicht 1976

Information storage and retrieval system mathematical foundations

von Marek, Wiktor
Veröffentlicht 1974

Mathematical foundations of information storage and retrieval

von Marek, Wiktor
Veröffentlicht 1973

Mathematical foundations of information storage and retrieval

von Marek, Wiktor
Veröffentlicht 1973

Stochastic informational systems

von Marek, Wiktor
Veröffentlicht 1976

Stochastic informational systems

Mathematical foundations of information storage and retrieval

Mathematical foundations of information storage and retrieval

von Marek, Wiktor
Veröffentlicht 1973

Nonmonotonic logic : context dependent reasoning

von Marek, Victor W.
Veröffentlicht 1993

Spectrum of L

von Marek, Victor W.
Veröffentlicht 1983