Object
Title: Decidability vs. undecidability. Logico-philosophico-historical remarks
Description:
Publisher:
Wydaw. Uniwersytetu Marii Curie-Skłodowskiej
Place of publication:
Contributor:
Uniwersytet Marii Curie-Skłodowskiej (Lublin)
Format:
Identifier:
Language:
Relation:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 3 (2005)
Rights:
Biblioteka Uniwersytetu Marii Curie-Skłodowskiej
Object collections:
Last modified:
Mar 19, 2015
In our library since:
Mar 19, 2015
Number of object content hits:
62
Number of object content views in DjVu format
61
All available object's versions:
https://dlibra.umcs.lublin.pl/publication/20318
Show description in RDF format:
Show description in OAI-PMH format:
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 1 (2003)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 2 (2004)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 3 (2005)
- Adaptive control with random horizon
- Semantic tree method – historical perspective and applications
- Using Markov chains for modelling networks
- Partial shape matching using convex hull and Fourier descriptors
- Automatic generating of theorems and constructing models for projective geometry
- The effective algorithm for solving the quadratic diofantic equation with three unknowns
- Algorithms for multi-secret hierarchical sharing schemes of shamir type
- Artificial intelligence and scholastic epistemology
- Decidability vs. undecidability. Logico-philosophico-historical remarks
- Church’s thesis as an empirical hypothesis
- Speech disfluency detection with the correlative method
- Vision echo
- Investigating Mammalian Visual System with methods of informational theory
- Shape analysis of MR brain images based on the fractal dimension
- Development of the cross-platform framework for the medical image processing
- Watershed based region growing algorithm
- A new method for counting chromatic coefficients
- The method of reduction of transfer matrix for modulated systems
- The statistical models of parallel applications performance
- Galton Board with memory
- The application of cellular automata in modeling of opinion formation in society
- New GUI of the SATVAL code
- The role of local optimizations in evolutionary process of atomic clusters modeling
- Application of MPI standard in computer modellingof the ion source plasma
- Random events recorder
- Microprocessor controller for EL-11D ellipsometer
- Experimental data driven robot for pattern classification
- Fault-tolerant control for Scalable Distributed Data Structures
- The design patterns in PHP language for the web documents aggregation model
- Models of multichannel interconnection systems
- Wireless LAN at home, in institutions and organizations
- ACO-based document clustering method
- Metadata in the e-learning repository
- Analysis of functionality of distance learning platform moodle
- Information technologies as the subject of university studies
- A set of programs for examining students
- Implementation of certification subprotocol for electronic auction
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 4 (2006)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 5 (2006)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 6 (2007)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 7 (2007)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 8 (2008)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 9 (2009)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 10 (2010)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 11 (2011)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 12 (2012)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 13 (2013)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 14 (2014)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 15 (2015)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 16 (2016)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 1 (2003)
| Edition name | Date |
|---|---|
| Murawski, Roman - Decidability vs. undecidability. Logico-philosophico-historical remarks | Mar 19, 2015 |
