.. 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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
.. 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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|