Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Polymorphic uncertainty in constitutive modeling of polymer composites at different scales
Schriften des Lehrstuhls für Technische Mechanik : 2023,1 (Alle Bände)
2023
Signatur: ZOW8682, P3080
    Datensatz exportieren als...
  • BibTeX
Neuro-control and its applications
Advances in industrial control
1996
Signatur: TVU5710
    Datensatz exportieren als...
  • BibTeX
Data analysis using fuzzy expressions : creating comprehensible computational models from data
Schriften der Johannes-Kepler-Universität Linz : Reihe C, Technik und Naturwissenschaften : 48 (Alle Bände)
2005
Signatur: WGD2059
    Datensatz exportieren als...
  • BibTeX
Second order and nonsmooth training methods for fuzzy neural networks
Schriften der Johannes-Kepler-Universität Linz : Reihe C, Technik und Naturwissenschaften : 37 (Alle Bände)
2001
Signatur: TVU7916
    Datensatz exportieren als...
  • BibTeX
Fuzzy rule based expert systems and genetic machine learning
Studies in fuzziness : 3 (Alle Bände)
1995
Signatur: TKM4574
    Datensatz exportieren als...
  • BibTeX
An introduction to fuzzy logic for practical applications
1997
Signatur: WGD1752
    Datensatz exportieren als...
  • BibTeX
Nonlinear system identification : from classical approaches to neural networks and fuzzy models
Engineering online library
2001
Signatur: WFQ1648
    Datensatz exportieren als...
  • BibTeX
Proceedings / IEEE International Symposium on Intelligent Control : August 25 - 27, 1993, The Knickerbocker Hotel, Chicago, Illinois, USA
1993
Signatur: WAI930095
    Datensatz exportieren als...
  • BibTeX
Proceedings of the 1992 IEEE International Symposium on Intelligent Control : 11 - 13 August 1992, Forte Crest Glasgow Hotel, Glasgow, Scotland, UK
1992
Signatur: WAI920202
    Datensatz exportieren als...
  • BibTeX
Temporal verification of reactive systems : safety
1995
Signatur: TWU1613
    Datensatz exportieren als...
  • BibTeX
Concurrency verification : introduction to compositional and noncompositional methods
Cambridge tracts in theoretical computer science : 54 (Alle Bände)
2001
Signatur: TWT5939
    Datensatz exportieren als...
  • BibTeX
Duration calculus : a formal approach to real-time systems
Monographs in theoretical computer science
2004
Signatur: TWT6228
    Datensatz exportieren als...
  • BibTeX
Handbook of logic and language
1997
Signatur: BFN1276
    Datensatz exportieren als...
  • BibTeX
Understanding neural networks and fuzzy logic : basic concepts and applications
IEEE Press understanding science & technology series
1996
Signatur: TVU7788
    Datensatz exportieren als...
  • BibTeX
New foundations for automation of default reasoning
Dissertationen zur künstlichen Intelligenz : 237 (Alle Bände)
2000
Signatur: TVU7827
    Datensatz exportieren als...
  • BibTeX
Logical foundations of artificial intelligence
1987
Signatur: TVU1059
    Datensatz exportieren als...
  • BibTeX
Depth and shape estimation of three-dimensional objects based on fuzzy system theory
1997
Signatur: D12179
    Datensatz exportieren als...
  • BibTeX
Handbook of logic in artificial intelligence and logic programming
Handbooks of logic in computer science and artificial intelligence and logic programming, Oxford science publications
Signatur: TVU4594-...
    Datensatz exportieren als...
  • BibTeX
Neural networks and Fuzzy systems : a dynamical systems approach to machine intelligence
Prentice-Hall International editions
1992
Signatur: TVU8750
    Datensatz exportieren als...
  • BibTeX
From natural language processing to logic for expert systems : a logic based approach to artificial intelligence
A logic based approach to artificial intelligence
1991
Signatur: TVU3310
    Datensatz exportieren als...
  • BibTeX
Dynamic fuzzy machine learning
[2018]
Signatur: TVU10259
    Datensatz exportieren als...
  • BibTeX
The description logic handbook : theory, implementation, and applications
2. ed., reprint, 2010
Signatur: TVU9641(2)
    Datensatz exportieren als...
  • BibTeX
Unfoldings : a partial order approach to model checking
Monographs in theoretical computer science
2008
Signatur: TVS1813
    Datensatz exportieren als...
  • BibTeX
Preferences and decisions under incomplete knowledge : with 15 tables ; [dedicated to Marc Roubens on the occasion of his 60th anniversary
Studies in fuzziness and soft computing : 51 (Alle Bände)
2000
Signatur: TAXR1136
    Datensatz exportieren als...
  • BibTeX
Time and logic : a computational approach
1995
Signatur: TVM3603
1 – 25 von 478
Suche als RSS-Feed
Aktive Filter
Autor / AutorinKanade, Takeo
Autor / AutorinZinovʹev, Aleksandr Aleksandrovič
SpracheEnglisch
Art des MediumsGedruckt
ErscheinungsformMonographie
Suchergebnisse filtern
Filter anzeigen