Fields of Logic and Computation III [[electronic resource] ] : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday / / edited by Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (x, 341 pages) |
Disciplina | 004.015113 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer programming
Data structures (Computer science) Computer communication systems Special purpose computers Artificial intelligence Computer logic Software engineering Programming Techniques Data Structures Computer Communication Networks Special Purpose and Application-Based Systems Logic in AI Software Engineering |
ISBN | 3-030-48006-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Computation -- Logic -- Verification -- Topos theory. -Parallel Computing -- Tree -- Gurevich conjecture -- Arabic algorithms -- Hyperbolic group -- Lattice-ordered group -- Temporal logic -- Metric logic -- Random convergence -- Knot theory -- Entropic convergence -- Random access machine, PTIME -- Algorithmic randomness. . |
Record Nr. | UNISA-996418286403316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Fields of Logic and Computation III : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday / / edited by Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (x, 341 pages) |
Disciplina |
004.015113
005.1015113 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer programming
Data structures (Computer science) Computer communication systems Special purpose computers Artificial intelligence Computer logic Software engineering Programming Techniques Data Structures Computer Communication Networks Special Purpose and Application-Based Systems Logic in AI Software Engineering |
ISBN | 3-030-48006-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Computation -- Logic -- Verification -- Topos theory. -Parallel Computing -- Tree -- Gurevich conjecture -- Arabic algorithms -- Hyperbolic group -- Lattice-ordered group -- Temporal logic -- Metric logic -- Random convergence -- Knot theory -- Entropic convergence -- Random access machine, PTIME -- Algorithmic randomness. . |
Record Nr. | UNINA-9910409668103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|