Info
1: Theoretical Foundations / Leonard Bolc, Piotr Borowik
| 1: Theoretical Foundations / Leonard Bolc, Piotr Borowik |
| Autore | Bolc, Leonard |
| Pubbl/distr/stampa | Berlin ; Heidelberg, : Springer-Verlag, 1992 |
| Descrizione fisica | xii, 292 p. : ill. ; 24 cm |
| Altri autori (Persone) | Borowik, Piotr |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B48 - Probability and inductive logic [MSC 2020] 03B50 - Many-valued logic [MSC 2020] 03B52 - Fuzzy logic; logic of vagueness [MSC 2020] 03B60 - Other nonclassical logic [MSC 2020] |
| Soggetto non controllato |
Approximation Logic
Fuzzy Logic Intuitionistic Logic Logic Many-valued Logic Philosophical Logic Probability Logic Propositional calculus |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00289472 |
Bolc, Leonard
|
||
| Berlin ; Heidelberg, : Springer-Verlag, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computer Vision and Graphics [Risorsa elettronica] : International Conference, ICCVG 2008 Warsaw, Poland, November 10-12, 2008 Revised Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Leonard Bolc, Juliusz L. Kulikowski, Konrad Wojciechowski
| Computer Vision and Graphics [Risorsa elettronica] : International Conference, ICCVG 2008 Warsaw, Poland, November 10-12, 2008 Revised Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Leonard Bolc, Juliusz L. Kulikowski, Konrad Wojciechowski |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783642023453 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009260820403321 |
| Berlin ; Heidelberg : Springer, 2009 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Digital image processing systems / edited by Leonard Bolc, Zenon Kulpa
| Digital image processing systems / edited by Leonard Bolc, Zenon Kulpa |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1981 |
| Descrizione fisica | v, 353 p. : ill. ; 24 cm |
| Disciplina | 006.42 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato | Elaborazione delle immagini - Tecniche digitali |
| ISBN | 3-540-10705-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001319060403321 |
| Berlin [etc.] : Springer-Verlag, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intelligent Media Technology for Communicative Intelligence [Risorsa elettronica] : Second International Workshop, IMTCI 2004, Warsaw, Poland, September 13-14, 2004. Revised Selected Papers / edited by Leonard Bolc, Zbigniew Michalewicz, Toyo
| Intelligent Media Technology for Communicative Intelligence [Risorsa elettronica] : Second International Workshop, IMTCI 2004, Warsaw, Poland, September 13-14, 2004. Revised Selected Papers / edited by Leonard Bolc, Zbigniew Michalewicz, Toyo |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2005 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540317388 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009249540403321 |
| Berlin ; Heidelberg : Springer, 2005 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Many-Valued Logics / Leonard Bolc, Piotr Borowik
| Many-Valued Logics / Leonard Bolc, Piotr Borowik |
| Autore | Bolc, Leonard |
| Pubbl/distr/stampa | Berlin ; Heidelberg, : Springer-Verlag, 1992- |
| Descrizione fisica | volumi : ill. ; 24 cm |
| Altri autori (Persone) | Borowik, Piotr |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00289471 |
|
Bolc, Leonard
|
||
| Berlin ; Heidelberg, : Springer-Verlag, 1992- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Natural Language Communication with Computers / Leonard Bolc
| Natural Language Communication with Computers / Leonard Bolc |
| Autore | Bolc, Leonard |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1978 |
| Disciplina | 510.78 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000964040403321 |
|
Bolc, Leonard
|
||
| Berlin [etc.] : Springer-Verlag, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Design of Interpreters, Compilers, and Editors for Augmented Transition Networks / Edited by Leonard Bolc
| The Design of Interpreters, Compilers, and Editors for Augmented Transition Networks / Edited by Leonard Bolc |
| Autore | Bolc, Leonard |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1983 |
| Disciplina | 510.78 |
| Collana | Symbolic computation |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| ISBN | 3-540-12789-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000964030403321 |
|
Bolc, Leonard
|
||
| Berlin [etc.] : Springer-Verlag, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
