Logic and computation :

Logic and computation : proceedings of a Workshop held at Carnegie Mellon University, June 30-July 2, 1987

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	Workshop on Logic and Computation Carnegie Mellon University
Άλλοι συγγραφείς:	Sieg, Wilfried, 1945-
Μορφή:	Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Providence, Rhode island : American Mathematical Society, c1990
Σειρά:	Contemporary mathematics (American Mathematical Society) ; ; 106
Θέματα:	Computable functions > Data processing > Congresses.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Logic and computation :
από: Paulson, Lawrence C.
Δημοσίευση: (1987)

Handbook of logic and proof techniques for computer science
από: Krantz, Steven G. (Steven George) 1951-
Δημοσίευση: (2002)

A recursive introduction to the theory of computation
από: Smith, Carl H. 1950-
Δημοσίευση: (1994)

Computers in education :
Δημοσίευση: (1990)

Computer methods for the range of functions
από: Ratschek, H. (Helmut) 1940-
Δημοσίευση: (1984)

Groups and computation :
Δημοσίευση: (1993)

Logic of computation
Δημοσίευση: (1997)

Mathematical logic and computability
από: Keisler, H. Jerome
Δημοσίευση: (1996)

Expert systems for scientific computing :
Δημοσίευση: (1992)

Groups and computation II :
Δημοσίευση: (1997)

Symbolic computation :
Δημοσίευση: (2001)

Current trends in scientific computing :
Δημοσίευση: (2003)

Computational algebra
Δημοσίευση: (1994)

Computational linguistics and intelligent text processing :
Δημοσίευση: (2004)

Computational and statistical group theory :
Δημοσίευση: (2002)

Distributed computing :
Δημοσίευση: (1998)

A computer for each student :
Δημοσίευση: (1987)

Logic and computer science :
από: Homer, S. (Steven)
Δημοσίευση: (1990)

Performance analysis and grid computing :
Δημοσίευση: (2004)

Computational methods for representations of groups and algebras :

Research in humanities computing 2 :
Δημοσίευση: (1994)

Computers
από: Long, Larry E.
Δημοσίευση: (2000)

Computers
από: Long, Larry E.
Δημοσίευση: (2001)

Symposium on computer applications in medical care :
Δημοσίευση: (1990)

Categories in computer science and logic :
Δημοσίευση: (1989)

Mathematical methods in computer aided geometric design
Δημοσίευση: (1989)

Computational finance 1999
Δημοσίευση: (2000)

Computers in science :
από: Kahn, Brian
Δημοσίευση: (1985)

Computer assisted decision making :
Δημοσίευση: (1986)

Computing essentials :
από: O'Leary, Timothy J. 1947-
Δημοσίευση: (2014)

Computer choices :
από: Covvey, H. Dominic
Δημοσίευση: (1982)

Using computers
από: Meek, B. L. (Brian Lawrence)
Δημοσίευση: (1977)

Computers and commonsense
από: Hunt, Roger 1936-
Δημοσίευση: (1988)

Computer Annual :
από: Blissmer, Robert H.
Δημοσίευση: (1987)

Advances in discrete and computational geometry :
Δημοσίευση: (1999)

Computer Simulation and Computer Algebra :
Δημοσίευση: (1993)

The philosophical computer :
από: Grim, Patrick
Δημοσίευση: (1998)

Frontiers of computational fluid dynamics 2006
Δημοσίευση: (2005)

Computer programming for technology and engineering
από: Carter, John W. 1951-
Δημοσίευση: (1999)

How to solve it by computer
από: Dromey, R. G. 1946-
Δημοσίευση: (1982)