Loading...
Advanced Search
Welcome Guest
RSS
RSS
Public Health
Computer Engineering
Agriculture
Environment
Legacy Lectures
Home
Authors
Public Health
|
Computer Engineering
|
Agriculture
|
Environment
Assist researchers in planning and analyzing their research efforts
Member Login
Log in or sign up for more personalized features
Please fill in your email.
Please fill in a valid email
Please fill in your password
sign up
Remember me
Forgot your password?
Home
»
Computer Engineering
»
Artificial Intelligence
» Automatic Programming (293) lectures
Order By: Newest |
Rating
|
View Count
Functional Programming
9 Slide(s),
151 Views, Added 7 years ago
Classified as :
Computer Engineering
»
Artificial Intelligence
»
Automatic Programming
Propositional Logic: A (relatively) simple, formal approach to knowledge representation and inference
28 Slide(s),
135 Views, Added 7 years ago
Classified as :
Computer Engineering
»
Artificial Intelligence
»
Automatic Programming
Computer Engineering
»
Artificial Intelligence
»
Knowledge Representation Formalisms and Methods
»
Predicate logic
Logical reasoning systems
47 Slide(s),
132 Views, Added 7 years ago
Classified as :
Computer Engineering
»
Artificial Intelligence
»
Automatic Programming
Computers have had a profound impact on
36 Slide(s),
109 Views, Added 7 years ago
Classified as :
Computer Engineering
»
Artificial Intelligence
»
Automatic Programming
CS 462: Introduction to Artificial Intelligence
17 Slide(s),
124 Views, Added 7 years ago
Classified as :
Computer Engineering
»
Artificial Intelligence
»
Automatic Programming
C H A P T E R
59 Slide(s),
131 Views, Added 7 years ago
Classified as :
Computer Engineering
»
Artificial Intelligence
»
Automatic Programming
Computer Engineering
»
Artificial Intelligence
»
Programming Languages and Software
and 2 more...
Previous
1
2
3
4
5
........
49
Next
Computer Engineering (57,730)
Artificial Intelligence (
2,759
)
Applications and Expert Systems (
306
)
Automatic Programming (
293
)
Automatic analysis of algorithms (
76
)
Program modification (
74
)
Program synthesis (
53
)
Program transformation (
64
)
Program verification (
79
)
Cognitive simulation (
72
)
Deduction and Theorem Proving (
51
)
Distributed Artificial Intelligence (
201
)
Knowledge Representation Formalisms and Methods (
322
)
Learning (
1,052
)
Natural Language Processing (
364
)
Philosophical foundations (
63
)
Problem Solving, Control Methods, and Search (
265
)
Programming Languages and Software (
169
)
Robotics (
589
)
Vision and Scene Understanding (
49
)
Computer Applications (
321
)
Computer Graphics (
1,072
)
Computer Systems Organization (
441
)
Computing Environment (
712
)
Data (
11,409
)
Document and Text Processing (
193
)
Hardware (
11,191
)
Image Processing and Computer Vision (
2,524
)
Information Systems (
4,028
)
Mathematics of Computing (
393
)
Pattern Recognition (
1,110
)
Simulation and Modeling (
1,216
)
Software (
14,813
)
Symbolic and Algebraic Manipulation (
48
)
Theory of Computation (
391
)
Unclassified (
18,885
)
Based on the
ACM
Computing Classification System
Automatically Rated
Rated By Users
Your Feedback
Title:
Content:
You forgot to fill in your feedback
Thank You
Your feedback has been sent successfully
Register
Please
sign up
or login in Science Supercourse to enjoy all its facilities !
Please fill in your email.
Please fill in a valid email
Please fill in your password