Lataa...

QR-koodi

Dynamic logic /

other_versions_link

Bibliografiset tiedot
Päätekijä:	Harel, David
Muut tekijät:	Kozen, Dexter ., Tiuryn, Jerzy .
Aineistotyyppi:	Printed Book
Kieli:	English
Julkaistu:	New Delhi : Prentice Hall of India , 2002.
Aiheet:	Mathamatical logic

Samankaltaisia teoksia

Fuzzy logic: intelligence, control, and information /
Tekijä: Yen, John .
Julkaistu: (1999)

Logic, algebra and databases /
Tekijä: Gray, Peter M D .
Julkaistu: (1984)

Dynamic logic /
Tekijä: Harel, David
Julkaistu: (2000)

Logic, Sets, and recursion
Tekijä: Causey, Robert
Julkaistu: (2010)

Essentials of discrete mathematics
Tekijä: Hunter, David J.
Julkaistu: (2010)

Mathematics for chemistry and physics /
Tekijä: Turrell, George
Julkaistu: (2002)

Numbers and Geometry
Tekijä: Stillwell, John
Julkaistu: (1998)

Mathamatics: a discrete introduction /
Tekijä: Scheinerman, Edward R .
Julkaistu: (2001)

Mathamatical handbook of formulas and tables /
Tekijä: Spiegel, Murray R
Julkaistu: (1999)

Excursions into mathamatics /
Tekijä: Beck, Anatole
Julkaistu: (2000)

Maths: a self-study guide /
Tekijä: Olive, Jenny
Julkaistu: (1998)

Exploraions in mathamatics /
Tekijä: Hattangadi, A A
Julkaistu: (2001)

Fundamentals of university mathamatics /
Tekijä: McGregor, C M .
Julkaistu: (1994)

Treatise on probablity
Tekijä: Keynes, John Maynard
Julkaistu: (2012)

Intergral Calculus
Tekijä: Shanthi narayan
Julkaistu: (1993)

A B C series in Mathematics
Tekijä: Janardhanan pillai
Julkaistu: (1992)

Computational learing theory: an introduction
Tekijä: Anthony, Martin
Julkaistu: (1992)

Introduction to languages and the theory of computation /
Tekijä: Martin, John C
Julkaistu: (1997)

Attractors for Semigroups and Evaluation Equations
Tekijä: Ladyzhenskaya, Olga
Julkaistu: (1991)

Elements of discrete mathamatics /
Tekijä: Liu, C L .
Julkaistu: (1985)

Two thousand solved problems in discrete mathamatics /
Tekijä: Lipschutz, Seymour .
Julkaistu: (1992)

Statistics made simple: do it yourself on PC /
Tekijä: Sarma, K V S
Julkaistu: (2001)

Bharatheeya Ganitham
Tekijä: Ramachandra Menon, P.
Julkaistu: (1996)

Applied discrete structures for computer science /
Tekijä: Doer, Alan
Julkaistu: (1992)

Introduction to discrete mathamatics /
Tekijä: McEliece, Robert J
Julkaistu: (1989)

Recent advances in statistics /
Tekijä: Thomas, Yageen P
Julkaistu: (1986)

Discrete mathematics /
Tekijä: Sharma, J K .
Julkaistu: (2003)

Discrete mathematics for computer scientists and mathematicians /
Tekijä: Mott, Joe L .
Julkaistu: (1986)

Introductory statistics for engineering experimentation /
Tekijä: Nelson, Peter R .
Julkaistu: (2003)

Discrete methematicsv
Tekijä: Malik, D S.
Julkaistu: (2004)

Mathamatical Sociology: A Selective Annotated Bibliography
Tekijä: Holland, Janet and Steur, M D
Julkaistu: (1969)

Fundamental methods of mathamatical economics /
Tekijä: Chiang, Alpha C .
Julkaistu: (1984)

an elementary survey
Tekijä: Yamane, Taro .
Julkaistu: (2001)

Mathematical analysis for economists /
Tekijä: Allen R G D
Julkaistu: (1998)

Structure of economics: a mathamatical analysis
Tekijä: Silberberg Eugene
Julkaistu: (2001)

Elements of discrete mathamatics: a computer oriented approach 3e /
Tekijä: Lippman, Stanley
Julkaistu: (2008)

Discrete mathematical structures /
Tekijä: Kolman, Bernard
Julkaistu: (2006)

Komplementaritats - und fixpunktalgorithmen in der mathematischen programmierung, spieltheorie und okonomie
Tekijä: Luthi,Hans - Jakob
Julkaistu: (1976)

Biostatistics: a foundation for analysis in the health sciences /
Tekijä: Daniel, Wayne W
Julkaistu: (2000)

Mathamatics for computing /
Tekijä: McKeown, G P
Julkaistu: (1982)