QR Code

A resolution method for some systems of modal logic /

Saved in:

Bibliographic Details
Main Author:	Sommerhalder, Rudolf
Format:	Thesis Book
Language:	English
Published:	Delft : Technická univerzita, 1992
Edition:	1st ed.
Subjects:	modálna predikátová logika > Herbrandov model
ISBN:	9090051252
Online Access:
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Matematická logika /
by: Kvasnička, Vladimír 1924-, et al.
Published: (2006)

Logika /
by: Bek, Roman
Published: (2001)

Úvod do logiky /
by: Benyovszky, Ladislav
Published: (1993)

Klasická logika /
by: Štěpán, Jan
Published: (1992)

Formálna logika. I. diel /
by: Holomek, Jaroslav
Published: (2003)

Logika /
by: Bek, Roman
Published: (2000)

Úvod do logiky /
by: Svatek, Jan
Published: (1991)

Matematická logika /
by: Draženská, Emília, et al.
Published: (2012)

Základy logiky pre spoločenskovedné a humanitné odbory /
by: Zouhar, Marián
Published: (2008)

Úvod do logiky /
by: Benyovszky, Ladislav
Published: (1991)

Matematika 35. Matematická logika /
by: Jirásko, Josef
Published: (1997)

Aplikácia stereológie pri výskume hornín /
by: Timčák, Gejza M.
Published: (2002)

Modal logic with desciptions /
by: Ruzsa, Imre
Published: (1981)

Diskrétna matematika /
by: Bučko, Michal
Published: (1991)

Umelá inteligencia a kognitívna veda.
by: Kvasnička, Vladimír 1924-
Published: (2009)

Logika a využitie sémantických tabiel pre inteligentné systémy /
by: Kvasnička, Vladimír, 1924-
Published: (2018)

Digital logic : basic theory and practice /
by: Smith, J. H.
Published: (1971)

FME '93. Industrial-strength formal methods : Proceedings, Odense, Denmark, April 19 - 23, 1993 /
by: Jones, C. B.
Published: (1993)

Model theory for modal logic : kripke models for modal predicate calculi /
by: Bowen, Kenneth
Published: (1979)

Formální logika a sémantický web /
by: Lukasová, Alena, 1936-, et al.
Published: (2019)

European joint conferences on theory and practice of software. 2003. Satellite events : ETAPS, Warsaw, April 5 - 13 2003
Published: (2003)

Notes on the limits to knowledge explored with Darwinian logic /
by: Marchetti, Cesare
Published: (1998)

Dynamical systems and automatic control /
by: Carvalho, J. L. Martins de
Published: (1993)

Úvod do logiky pre informatikov /
by: Dirgová Luptáková, Iveta, 1977-, et al.
Published: (2025)

Non-classical logics, model theory, and computability : proceedings of the 3rd Latin-American symposium on mathematical logic ; Campinas, Brazil, July 11-17, 1976 /
Published: (1977)

Tools and algorithms for the construction and analysis of systems : Proceedings, Warsaw, Poland, April 7 - 11, 2003 /
by: Lee, Peter
Published: (2003)

Orthomodular structures as quantum logics /
by: Pták, Pavel 1947-
Published: (1991)

The evolution of type theory in logic and mathematics /
by: Laan, Twan Dismas Laurens
Published: (1997)

Deductive databases and logic programming /
by: Das, Subrata Kumar
Published: (1992)

Logic colloquium '85 : Proceedings of the colloquium, Orsay, France, July 1985 /
by: Burdman Feferman, Anita
Published: (1987)

ACM transactions on computational logic
Published: (2000)

Logic for problem solving /
by: Kowalski, Robert, 1941-
Published: (1979)

Quantum logic spectroscopy of atomic and molecular ions /
by: Wan, Yong 1983-
Published: (2014)

Kmitanie a modálna analýza mechanických sústav /
by: Trebuňa, František 1947-, et al.
Published: (2012)

Fuzzy information engineering. A guided tour of applications /
by: Dubois, Didier
Published: (1997)

Stavba elektrických strojů.
by: Veselka, František 1953-
Published: (2008)

A software engineering approach to the development of fuzzy control systems /
by: Isomursu, Pekka
Published: (1995)

Entwurf neuronaler Netze. Ein datenbasiertes Verfahren zur Modellierung nichtlinearer Systeme mit Hilfe Evolutionärer Algorithmen und unscharfer Logik /
by: Wienholt, Willfried
Published: (1996)

Olejárova encyklopédia logiky : základné pojmy /
by: Olejár, Marián sr
Published: (2016)

Matematická logika : určeno pro posluchače přírodověd. fak. /
by: Dymáček, Michael, 1943-
Published: (1968)