First order programming theories

to connected objects

Location: Deutsche Nationalbibliothek Frankfurt am Main

ISBN: 9783540542773
3540542779
9780387542775
0387542779

Dimensions: 25 cm

Extent: IX, 351 S.

Language: Deutsch

Notes: graph. Darst.
Literaturverz. S. 335 - 340

Bibliographic citation: EATCS monographs on theoretical computer sciences / European Association for Theoretical Computer Science ; Vol. 24

Keyword: Programmierung
Prädikatenlogik
Stufe 1

Event: Veröffentlichung

(where): Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest

(who): Springer

(when): 1991

Creator: Gergely, Tamás
Úry, László

Table of contents: https://d-nb.info/920919863/04

Rights: Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.

Last update: 11.06.2025, 1:58 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

Gergely, Tamás
Úry, László
Springer

Time of origin

1991

Other Objects (12)

Tableau systems for first order number theory and certain higher order theories

Konferenzschrift | Kongress

Multi-objective programming and goal programming : theories and applications

First-order logic

Konferenzschrift | Kongress

Unifying theories of programming : third international symposium ; proceedings

First order solutions in conic programming

First-order dynamic logic

Konferenzschrift | Kongress

Genetic programming : first European workshop ; proceedings

Konferenzschrift | Kongress

Unifying theories of programming : second international symposium ; revised selected papers

Hochschulschrift

Efficient reasoning procedures for complex first-order theories

Hochschulschrift

Natural geometric quantization of first-order field theories

Decidable theories, 1.. Büchi's monadic second order successor arithmetic / Dirk Siefkes

Tableau systems for first order number theory and certain higher order theories

Konferenzschrift | Kongress

Multi-objective programming and goal programming : theories and applications

First-order logic

Konferenzschrift | Kongress

Unifying theories of programming : third international symposium ; proceedings

First order solutions in conic programming

First-order dynamic logic

Konferenzschrift | Kongress

Genetic programming : first European workshop ; proceedings

Konferenzschrift | Kongress

Unifying theories of programming : second international symposium ; revised selected papers

Hochschulschrift

Efficient reasoning procedures for complex first-order theories

Hochschulschrift

Natural geometric quantization of first-order field theories

Decidable theories, 1.. Büchi's monadic second order successor arithmetic / Dirk Siefkes

Tableau systems for first order number theory and certain higher order theories

Konferenzschrift | Kongress

Multi-objective programming and goal programming : theories and applications

First-order logic

Konferenzschrift | Kongress

Unifying theories of programming : third international symposium ; proceedings

First order solutions in conic programming

First-order dynamic logic

Konferenzschrift | Kongress

Genetic programming : first European workshop ; proceedings

Konferenzschrift | Kongress

Unifying theories of programming : second international symposium ; revised selected papers

Hochschulschrift

Efficient reasoning procedures for complex first-order theories

Hochschulschrift

Natural geometric quantization of first-order field theories

Decidable theories, 1.. Büchi's monadic second order successor arithmetic / Dirk Siefkes

Cultural heritage institutions wishing to register will find more information here.

Fields marked * need to be filled in.

Username*

Please enter your username

Email*

Please enter your email address

Please do not fill this field

First name

Last name

Password*

Please enter your password

Confirm password*

Please enter the same password

I have read the terms of use and the privacy policy for the collection of personal data and accept them. *

This field is required.

I would like to subscribe to the newsletter of the Deutsche Digitale Bibliothek. See newsletter subscription info.

Account created

Your "My DDB" account has been successfully created. Before you can log in to your account, you must click the confirmation link in the message we just sent to the email address you provided.

First order programming theories

Object Details

References and Relationships

Classification and Topics

Contributors, Places and Time

Further information

Data provider

Associated

Time of origin

Other Objects (12)

Tableau systems for first order number theory and certain higher order theories

Multi-objective programming and goal programming : theories and applications

First-order logic

First-order logic

Unifying theories of programming : third international symposium ; proceedings

First order solutions in conic programming

First-order dynamic logic

Genetic programming : first European workshop ; proceedings

Unifying theories of programming : second international symposium ; revised selected papers

Efficient reasoning procedures for complex first-order theories

Natural geometric quantization of first-order field theories

Decidable theories, 1.. Büchi's monadic second order successor arithmetic / Dirk Siefkes

Tableau systems for first order number theory and certain higher order theories

Multi-objective programming and goal programming : theories and applications

First-order logic

First-order logic

Unifying theories of programming : third international symposium ; proceedings

First order solutions in conic programming

First-order dynamic logic

Genetic programming : first European workshop ; proceedings

Unifying theories of programming : second international symposium ; revised selected papers

Efficient reasoning procedures for complex first-order theories

Natural geometric quantization of first-order field theories

Decidable theories, 1.. Büchi's monadic second order successor arithmetic / Dirk Siefkes

Tableau systems for first order number theory and certain higher order theories

Multi-objective programming and goal programming : theories and applications

First-order logic

First-order logic

Unifying theories of programming : third international symposium ; proceedings

First order solutions in conic programming

First-order dynamic logic

Genetic programming : first European workshop ; proceedings

Unifying theories of programming : second international symposium ; revised selected papers

Efficient reasoning procedures for complex first-order theories

Natural geometric quantization of first-order field theories

Decidable theories, 1.. Büchi's monadic second order successor arithmetic / Dirk Siefkes

Related objects

Reset password