top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
.. International Conference on Fuzzy Theory and Its Applications
.. International Conference on Fuzzy Theory and Its Applications
Pubbl/distr/stampa Piscataway, NJ : , : IEEE
Disciplina 511.3
Soggetto topico Fuzzy sets
Fuzzy systems
Intelligent control systems
Fuzzy logic
Soggetto genere / forma Conference papers and proceedings.
ISSN 2377-5831
Formato Materiale a stampa
Livello bibliografico Periodico
Lingua di pubblicazione eng
Record Nr. UNISA-996281012203316
Piscataway, NJ : , : IEEE
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
.. International Conference on Fuzzy Theory and Its Applications
.. International Conference on Fuzzy Theory and Its Applications
Pubbl/distr/stampa Piscataway, NJ : , : IEEE
Disciplina 511.3
Soggetto topico Fuzzy sets
Fuzzy systems
Intelligent control systems
Fuzzy logic
Soggetto genere / forma Conference papers and proceedings.
ISSN 2377-5831
Formato Materiale a stampa
Livello bibliografico Periodico
Lingua di pubblicazione eng
Record Nr. UNINA-9910626179103321
Piscataway, NJ : , : IEEE
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
1 : pt. A. XXXIV, 467 p.pt. B. 466 p.
1 : pt. A. XXXIV, 467 p.pt. B. 466 p.
Autore Edwards, Robert E.
Pubbl/distr/stampa New York : Springer-Verlag, 1979
Descrizione fisica 1 v. in 2 (p. 933 compless.) ; 23 cm
Disciplina 511.3
ISBN 0-387-90431-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-990000868480403321
Edwards, Robert E.  
New York : Springer-Verlag, 1979
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
1 Fachtagung uber automatentheorie und formale sprachen : Bonn, 9-12 Juli 1973 / herausgegeben im Auftrag der GI von Karl Heinz Bohling und Klaus Indermark
1 Fachtagung uber automatentheorie und formale sprachen : Bonn, 9-12 Juli 1973 / herausgegeben im Auftrag der GI von Karl Heinz Bohling und Klaus Indermark
Autore Fachtagung uber automatentheorie und formale sprachen <1; Bonn; 1973>
Pubbl/distr/stampa Berlin : Springer Verlag, 1973
Descrizione fisica VII, 322 p. : ill. ; 24 cm
Disciplina 511.3
Collana Lecture notes in computer science
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UNISA-990000348960203316
Fachtagung uber automatentheorie und formale sprachen <1; Bonn; 1973>  
Berlin : Springer Verlag, 1973
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
10. International conference on automated deduction : Kaiserslautern, FRG, july 24-27, 1990 : proceedings / M.E. Stickel
10. International conference on automated deduction : Kaiserslautern, FRG, july 24-27, 1990 : proceedings / M.E. Stickel
Autore International conference on automated deduction <10. ; 1990 ; Kaiserslautern>
Pubbl/distr/stampa Berlin : Springer-Verlag, c1990
Descrizione fisica XVI, 688 p : ill. ; 24 cm
Disciplina 511.3
Collana Lectures notes in artificial intelligence
Soggetto topico Logica simbolica -- Congressi -- 1990
ISBN 3-540-52885-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000720860203316
International conference on automated deduction <10. ; 1990 ; Kaiserslautern>  
Berlin : Springer-Verlag, c1990
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
1999 IEEE International Fuzzy Systems, Conference Proceedings : 22-25 August 1999, Seoul, South Korea / / Institute of Electrical and Electronics Engineers
1999 IEEE International Fuzzy Systems, Conference Proceedings : 22-25 August 1999, Seoul, South Korea / / Institute of Electrical and Electronics Engineers
Pubbl/distr/stampa Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 1999
Descrizione fisica 1 online resource (1339 pages)
Disciplina 511.3
Soggetto topico Fuzzy logic
Soggetto genere / forma Electronic books.
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996215107703316
Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 1999
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
3 Jahrestagung : Hamburg, 8-10 oktober 1973 / herausgegeben im Auftrag der GI von Wilfred Brauer
3 Jahrestagung : Hamburg, 8-10 oktober 1973 / herausgegeben im Auftrag der GI von Wilfred Brauer
Autore Jahrestagung <3; Hamburg; 1973>
Pubbl/distr/stampa Berlin : Springer Verlag, 1973
Descrizione fisica XI, 508 p. : ill. ; 24 cm
Disciplina 511.3
Collana Lecture notes in computer science
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UNISA-990000348940203316
Jahrestagung <3; Hamburg; 1973>  
Berlin : Springer Verlag, 1973
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
5 Jahrestagung : Dortmund, 8-10 oktober 1975 / <a cura di> GI. Gesellschaft fur informatik e. V. ; herausgegeben im Auftrag der GI von J. Muhlbacher
5 Jahrestagung : Dortmund, 8-10 oktober 1975 / <a cura di> GI. Gesellschaft fur informatik e. V. ; herausgegeben im Auftrag der GI von J. Muhlbacher
Autore Jahrestagung <5.; Dortmund; 1975>
Pubbl/distr/stampa Berlin : Springer Verlag, 1975
Descrizione fisica X, 755 p. : ill. ; 24 cm
Disciplina 511.3
Collana Lecture notes in computer science
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UNISA-990000349390203316
Jahrestagung <5.; Dortmund; 1975>  
Berlin : Springer Verlag, 1975
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
5th conference on automated deduction : Les Arcs, France, July 8-11, 1980 / edited by Bibel and R. Kowalski
5th conference on automated deduction : Les Arcs, France, July 8-11, 1980 / edited by Bibel and R. Kowalski
Pubbl/distr/stampa Berlin : Springer Verlag, 1980
Descrizione fisica VII, 385 p. : ill. ; 24 cm
Disciplina 511.3
Collana Lecture notes in computer science
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000350070203316
Berlin : Springer Verlag, 1980
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings / ed. R. E. Shostak
7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings / ed. R. E. Shostak
Autore International conference on automated deduction <7. ; 1984 ; Napa, California>
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1984
Descrizione fisica vi, 508 p. : ill. ; 24 cm.
Disciplina 511.3
Altri autori (Persone) Shostak, Robert E.
Soggetto topico Automatic theorem proving - Congresses
Symbolic logic - Congresses
ISBN 3540960228
Classificazione AMS 68-06
AMS 68-XX
CR I.1
CR J.2
QA76.9.A96158
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-b10834047
International conference on automated deduction <7. ; 1984 ; Napa, California>  
Berlin ; New York : Springer-Verlag, 1984
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui

Data di pubblicazione

Altro...