Librería:
Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 25 de marzo de 2015
In. N° de ref. del artículo ria9780937073940_new
Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.
Críticas: "This is a short but excellent introduction to modal, temporal, and dynamic logic....It manages to cover, in highly readable style, the basic cimpleteness, decidability, and expressability results in a variety of logics of the three kinds considered." Rohit Parikh, Journal of Symbolic Logic
Título: Logics of Time and Computation (Volume 7) (...
Editorial: Center for the Study of Language and Inf
Año de publicación: 1992
Encuadernación: Encuadernación de tapa blanda
Condición: New
Librería: Reader's Corner, Inc., Raleigh, NC, Estados Unidos de America
Trade Paperback. Condición: New. Second Edition, Revised & Expanded. This is a new, paperback, second edition copy, maroon spine. Nº de ref. del artículo: 087841
Cantidad disponible: 1 disponibles
Librería: Revaluation Books, Exeter, Reino Unido
Paperback. Condición: Brand New. 2nd edition. 180 pages. 9.50x6.50x0.75 inches. In Stock. Nº de ref. del artículo: __0937073946
Cantidad disponible: 1 disponibles
Librería: Revaluation Books, Exeter, Reino Unido
Paperback. Condición: Brand New. 2nd edition. 180 pages. 9.50x6.50x0.75 inches. In Stock. Nº de ref. del artículo: zk0937073946
Cantidad disponible: 1 disponibles
Librería: BennettBooksLtd, San Diego, NV, Estados Unidos de America
Paperback. Condición: New. In shrink wrap. Looks like an interesting title! Nº de ref. del artículo: Q-0937073946
Cantidad disponible: 1 disponibles