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.
.. 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 | ||
| ||
.. 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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
