Ancient warfare . Volume I : introducing current research / / edited by Geoff Lee, Helene Whittaker and Graham Wrightson |
Pubbl/distr/stampa | Newcastle upon Tyne, England : , : Cambridge Scholars Publishing, , 2015 |
Descrizione fisica | 1 online resource (377 pages) |
Disciplina | 355.0093 |
Soggetto topico |
Military history, Ancient
Military art and science - History |
Soggetto genere / forma | Electronic books. |
ISBN | 1-4438-8236-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910480091503321 |
Newcastle upon Tyne, England : , : Cambridge Scholars Publishing, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Ancient warfare . Volume I : introducing current research / / edited by Geoff Lee, Helene Whittaker and Graham Wrightson |
Pubbl/distr/stampa | Newcastle upon Tyne, England : , : Cambridge Scholars Publishing, , 2015 |
Descrizione fisica | 1 online resource (377 pages) |
Disciplina | 355.0093 |
Soggetto topico |
Military history, Ancient
Military art and science - History |
ISBN | 1-4438-8236-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910797678303321 |
Newcastle upon Tyne, England : , : Cambridge Scholars Publishing, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Ancient warfare . Volume I : introducing current research / / edited by Geoff Lee, Helene Whittaker and Graham Wrightson |
Pubbl/distr/stampa | Newcastle upon Tyne, England : , : Cambridge Scholars Publishing, , 2015 |
Descrizione fisica | 1 online resource (377 pages) |
Disciplina | 355.0093 |
Soggetto topico |
Military history, Ancient
Military art and science - History |
ISBN | 1-4438-8236-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910815003903321 |
Newcastle upon Tyne, England : , : Cambridge Scholars Publishing, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The many faces of war in the ancient world / / edited by Waldemar Heckel, Sabine Müller and Graham Wrightson |
Pubbl/distr/stampa | Newcastle upon Tyne, England : , : Cambridge Scholars Publishing, , 2015 |
Descrizione fisica | 1 online resource (341 p.) |
Disciplina | 303.660901 |
Soggetto topico | Military history, Ancient |
Soggetto genere / forma | Electronic books. |
ISBN | 1-4438-8240-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910461001803321 |
Newcastle upon Tyne, England : , : Cambridge Scholars Publishing, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The many faces of war in the ancient world / / edited by Waldemar Heckel, Sabine Müller and Graham Wrightson |
Pubbl/distr/stampa | Newcastle upon Tyne, England : , : Cambridge Scholars Publishing, , 2015 |
Descrizione fisica | 1 online resource (341 p.) |
Disciplina | 303.660901 |
Soggetto topico | Military history, Ancient |
ISBN | 1-4438-8240-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910797739903321 |
Newcastle upon Tyne, England : , : Cambridge Scholars Publishing, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The many faces of war in the ancient world / / edited by Waldemar Heckel, Sabine Müller and Graham Wrightson |
Pubbl/distr/stampa | Newcastle upon Tyne, England : , : Cambridge Scholars Publishing, , 2015 |
Descrizione fisica | 1 online resource (341 p.) |
Disciplina | 303.660901 |
Soggetto topico | Military history, Ancient |
ISBN | 1-4438-8240-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910827796103321 |
Newcastle upon Tyne, England : , : Cambridge Scholars Publishing, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Parallelization in Inference Systems [[electronic resource] ] : International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings / / edited by Bertram Fronhöfer, Graham Wrightson |
Edizione | [1st ed. 1992.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
Descrizione fisica | 1 online resource (X, 378 p.) |
Disciplina | 004/.35 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Software engineering Architecture, Computer Computer programming Microprocessors Artificial Intelligence Software Engineering/Programming and Operating Systems Computer System Implementation Programming Techniques Processor Architectures |
ISBN | 3-540-47066-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Potentiality of parallelism in logic -- Parallel theorem provers An overview -- Parallel unification: Theory and implementations -- Connectionist inference systems -- Implementing parallel rewriting -- Experiments with Roo, a parallel automated deduction system -- A process algebra over the Herbrand Universe: Application to parallelism in automated deduction -- Using the Reform inference system for parallel Prolog -- Random competition: A simple, but efficient method for parallelizing inference systems -- Parallel and efficient implementation of the compartmentalized connection graph proof procedure: Resolution to unification -- Constraint satisfaction via partially parallel propagation steps -- A parallel theorem prover with heuristic work distribution -- Non-WAM models of logic programming and their support by novel parallel hardware -- The adam abstract dataflow machine -- Parallel computation model for parallel prolog -- Application of connectionist models to fuzzy inference systems -- CHCL — A connectionist inference system -- Project Summaries. |
Record Nr. | UNISA-996465336603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|