Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 25 | << page >> |
Sort by
|
ISBN: 0387534377 3540534377 364276276X 3642762743 9780387534374 Year: 1990 Publisher: Berlin Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Automatic theorem proving --- Logic, Symbolic and mathematical --- Théorèmes --- Logique symbolique et mathématique --- Congresses --- Démonstration automatique --- Congrès --- 510.5 --- -Logic, Symbolic and Mathematical --- -#TELE:ELEN --- #TELE:SISTA --- 681.3 --- 681.3*F41 --- 681.3*I22 --- 681.3*I23 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Automated theorem proving --- Theorem proving, Automated --- Theorem proving, Automatic --- Artificial intelligence --- Proof theory --- Algorithms. Computable functions --- Computerwetenschap --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Logic, Symbolic and Mathematical --- Congresses. --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 510.5 Algorithms. Computable functions --- #TELE:ELEN --- 681.3* / / / / / / / / / / / / / / / / / / / / / / / / / / / / --- Automatic theorem proving - Congresses --- Logic, Symbolic and mathematical - Congresses
ISBN: 3540420274 Year: 2003 Publisher: New York (N.Y.) Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer logic --- Machine learning --- Structured programming --- 681.3*I26 --- Computer programming --- Electronic data processing --- Learning, Machine --- Artificial intelligence --- Machine theory --- Computer science logic --- Logic, Symbolic and mathematical --- Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32} --- Structured techniques --- Computer logic. --- Machine learning. --- Structured programming. --- 681.3*I26 Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}
Book
Year: 1922 Publisher: Amersfoort Veen
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1982 Publisher: Melbourne University of Melbourne. Department of computer science
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1988 Publisher: S.l. s.n.
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1931 Publisher: Urbana, Ill University of Illinois
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1935 Publisher: Urbana (Ill.) University of Illinois
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 9231035118 Year: 1999 Publisher: New York, NY ; London : D. Reidel,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1985 Publisher: Melbourne University of Melbourne. Department of computer science
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
| Listing 1 - 10 of 25 | << page >> |
Sort by
|