Toggle navigation
Logout
Change account settings
EN
DE
ES
FR
A-Z
Beta
About EconBiz
News
Thesaurus (STW)
Academic Skills
Help
EN
DE
ES
FR
My account
Logout
Change account settings
Login
Publications
Events
Your search terms
Search
Search options
All Fields
Title
Exact title
Subject
Author
Institution
ISBN/ISSN
Published in...
Publisher
Open Access only
Advanced
Search history
My EconBiz
Favorites
Loans
Reservations
Fines
You are here:
Home
Search: isPartOf_id:10004583462
Narrow search
Narrow search
Year of publication
From:
To:
Subject
All
Datenverarbeitung
1
Künstliche Intelligenz
1
Logik
1
Mathematische Logik
1
Problemlösen
1
Programmierung
1
Programmsynthese
1
Programmverifikation
1
more ...
less ...
Type of publication
All
Book / Working Paper
3
Language
All
Undetermined
2
English
1
Author
All
Kowalski, Robert
1
Manna, Zohar
1
Sussman, Gerald Jay
1
Waldinger, Richard
1
Published in...
All
Elsevier computer science library / Artificial intelligence series
3
Source
All
USB Cologne (EcoSocSci)
3
Showing
1
-
3
of
3
Sort
relevance
articles prioritized
date (newest first)
date (oldest first)
1
LOGIC FOR PROBLEM SOLVING / ROBERT KOWALSKI
Kowalski, Robert
-
1983
-
3. PRINT.
Persistent link: https://www.econbiz.de/10004583906
Saved in:
2
Studies in automatic programming logic
Manna, Zohar
(
contributor
);
Waldinger, Richard
(
contributor
)
-
1977
Persistent link: https://www.econbiz.de/10004613949
Saved in:
3
A computer model of skill acquisition
Sussman, Gerald Jay
-
1975
Persistent link: https://www.econbiz.de/10004615785
Saved in:
Results per page
10
25
50
100
250
A service of the
zbw
FAQ-Assistent (beta)
×
Loading...
