QR kód

Modal logic with desciptions /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Ruzsa, Imre
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Budapest : Akadémiai Kiadó, 1981
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Model theory for modal logic : kripke models for modal predicate calculi /
Autor: Bowen, Kenneth
Vydáno: (1979)

A resolution method for some systems of modal logic /
Autor: Sommerhalder, Rudolf
Vydáno: (1992)

Multi-Modality Imaging Applications and Computational Techniques /
Vydáno: (2018)

Crystallization Modalities in Polymer Melt Processing
Autor: Janeschitz-Kriegl, Hermann
Vydáno: (2018)

Modale Analyse unwuchterregender Temperaturtransienten in Turbogeneratorläufern /
Autor: Köster, Lutz
Vydáno: (1998)

Die Begriffswelt der Mathematik /
Autor: Ruzsa, Imre
Vydáno: (1976)

Modification of modal characteristics of vibrating structural elements /
Autor: Naď, Milan
Vydáno: (2010)

ON THE CONTROL OF MANIPULATOR FLEXIBLE MOTION BY MODAL - SPACE TECHNIQUES /
Autor: Kärkkäinen, Paavo
Vydáno: (1985)

Multi-Modality Neuroimaging Study on Neurobiological Mechanisms of Acupuncture
Vydáno: (2018)

Modal analysis and synthesis in transient vibration and structural optimization problems /
Autor: Abrahamsson, Thomas J. S.
Vydáno: (1990)

FROM LOGIC DESIGN TO LOGIC PROGRAMMING /
Autor: Snyers, Dominique
Vydáno: (1987)

Multi-modal recording and analysis of interaction among operators and work systems /
Autor: Andersen, Henning Boje
Vydáno: (1996)

Logical Form Between Logic and Natural Language /
Autor: Iacona, Andrea
Vydáno: (2018)

THE LOGIC OF INDUCTION /
Autor: Mortimer, Halina
Vydáno: (1988)

MATRIX LOGIC /
Autor: Stern, August
Vydáno: (1988)

THE LOGIC OF PROGRAMMING /
Autor: Hehner, Eric C. R.
Vydáno: (1984)

Absolute logics /
Autor: Akkanen, Jyrki
Vydáno: (1995)

Mathematical logic /
Autor: Demlová, Marie
Vydáno: (1999)

Logic and structure /
Autor: Dalen, Dirk van
Vydáno: (1983)

Mathematical logic /
Autor: Flum, Jörg, a další
Vydáno: (1984)

The Reconstruction of Modality in Chinese-English Government Press Conference Interpreting A Corpus-Based Study /
Autor: Li, Xin
Vydáno: (2018)

Reasoning with fuzzy logic /
Autor: Hellendoorn, Johannes
Vydáno: (1990)

The logic of chemical synthesis /
Autor: Corey, E. J.
Vydáno: (1989)

MICROPROCESSORS AND PROGRAMMED LOGIC /
Autor: Short, Kenneth L.
Vydáno: (1987)

AN INTRODUCTION TO DEFAULT LOGIC /
Autor: Besnard, Philippe
Vydáno: (1989)

ALGEBRAIC AND LOGIC PROGRAMMING /
Autor: Bergstra, J. A.
Vydáno: (1988)

LOGICAL SENSOR SYSTEMS /
Autor: Shilcrat, Esther Dina
Vydáno: (1984)

History and Philosophy of Logic

Optimization and computational logic /
Autor: Macaloon, Ken
Vydáno: (1996)

Electronic logic circuits /
Autor: Gibson, J. R.
Vydáno: (1979)

DIGITAL LOGIC AND MICROPROCESSOR /
Autor: Hill, Fredrich J.
Vydáno: (1984)

LOGIC DESIGN AND SIMULATION /
Autor: Zimmermann, Gerhard
Vydáno: (1986)

Temporal logic of programs /
Autor: Kröger, Fred
Vydáno: (1987)

LOGIC AND DATA BASES /
Autor: Gallaire, Hervé
Vydáno: (1978)

Modern logic design /
Autor: Green, David
Vydáno: (1986)

FOUNDATIONS OF LOGIC PROGRAMMING /
Autor: Lloyd, John Wylie
Vydáno: (1984)

Logic, information and conversation /
Autor: Piwek, Paul Leo Antoine
Vydáno: (1998)

Digital logic design /
Autor: Holdsworth, Brian
Vydáno: (1982)

The elements of mathematical logic /
Autor: Rosenbloom, Paul C.
Vydáno: (1950)

Philosophical and Mathematical Logic
Autor: de Swart, Harrie
Vydáno: (2018)