Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 49 | << page >> |
Sort by
|
ISBN: 2873861231 9782873861230 Year: 1997 Publisher: Bruxelles Racine
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bible NT. Gospels. Luke --- Luc l'Evangéliste, Saint --- Lucas de Evangelist, Heilige --- Nieuwe Testament --- Nouveau Testament --- Bible --- Criticism, interpretation, etc --- Bible. --- Bible. N.T. Luke --- Luc (Book of the New Testament) --- Lucas (Book of the New Testament) --- Luka (Book of the New Testament) --- Lukan săn zăn︠g︡g (Book of the New Testament) --- Lukas (Book of the New Testament) --- Luke (Book of the New Testament) --- Lūqā (Book of the New Testament) --- Nuga pogŭm (Book of the New Testament) --- Ruka den --- Ruka ni yoru fukuinsho --- Criticism, interpretation, etc.
ISBN: 2873861843 2873241268 9782873861841 9782873241261 Year: 1999 Publisher: Bruxelles Racine
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bible NT. Gospels. Mark --- Marc l'Evangéliste, Saint --- Marcus de Evangelist, Heilige --- Nieuwe Testament --- Nouveau Testament --- Bible. N.T. Evangiles. Marc (français). 1999 --- Bible --- Bible. N.T. Mark --- Criticism, interpretation, etc --- Bible. --- Marco (Book of the New Testament) --- Mark (Book of the New Testament) --- Markus (Book of the New Testament) --- Markusevangelium --- Vangelo di Marco --- Book of Mark
ISBN: 2873861452 2873241101 9782873861452 9782873241100 Year: 1998 Publisher: Bruxelles Racine
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bible NT. Gospels. Matthew --- Mattheüs de Evangelist, Heilige --- Matthieu l'Evangéliste, Saint --- Nieuwe Testament --- Nouveau Testament --- Bible --- Bible. --- Evangelie volgens Matteus --- Evangelie volgens Matthéüs --- Matʻae pogŭm --- Matai den --- Matai ni yoru fukuinsho --- Matius (Book of the New Testament) --- Mattá --- Matteo (Book of the New Testament) --- Matteus --- Matthäusevangelium --- Matthéüs --- Matthew (Book of the New Testament) --- Matthieu (Book of the New Testament) --- Bible. Matthew --- Criticism, interpretation, etc
ISBN: 0471923451 9780471923459 Year: 1989 Publisher: Chichester Wiley
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Artificial intelligence. Robotics. Simulation. Graphics --- AI(Artificial intelligence) --- Artificial intelligence --- Artificial thinking --- Artificiële intelligentie --- Electronic brains --- Intellectronics --- Intelligence [Artificial ] --- Intelligence artificielle --- Intelligent machines --- Kunstmatige intelligentie --- Logic programming --- Logisch programmeren --- Logische programmering --- Machine intelligence --- Programmation logique --- Programmeren [Logisch ] --- Programming [Logic ] --- Thinking [Artificial ] --- Logic programming. --- Data processing. --- Cerveaux électroniques --- Machines intelligentes --- Pensée artificielle --- Data processing --- Informatique --- Artificial intelligence - Data processing.
Book
ISBN: 3540133585 3540389091 9783540133582 Year: 1984 Volume: 175 Publisher: Berlin Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Discrete mathematics --- Computer architecture. Operating systems --- 681.3*B6 --- 517.987 --- 519.1 --- 681.3*G2 --- Logic design (Hardware) --- Measures. Representations of Boolean algebras. Metric theory of dynamic systems --- Combinatorics. Graph theory --- Discrete mathematics (Mathematics of computing) --- 681.3*G2 Discrete mathematics (Mathematics of computing) --- 519.1 Combinatorics. Graph theory --- 517.987 Measures. Representations of Boolean algebras. Metric theory of dynamic systems --- 681.3*B6 Logic design (Hardware) --- Computer network architectures. --- Computer software. --- Microprogramming. --- Computer System Implementation. --- Algorithm Analysis and Problem Complexity. --- Control Structures and Microprogramming. --- Computer programming --- Software, Computer --- Computer systems --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture
Book
ISBN: 3540102868 3540384219 9783540102861 Year: 1981 Volume: 101 Publisher: Berlin Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- 512.56 --- 681.3*F41 --- Lattices, including Boolean rings and algebras --- 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} --- 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} --- 512.56 Lattices, including Boolean rings and algebras --- Electronics. --- Electronics and Microelectronics, Instrumentation. --- Electrical engineering --- Physical sciences --- Algebra, boolean --- Switching theory
Book
ISBN: 2040186581 9782040186586 Year: 1988 Publisher: Paris : Dunod,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Artificial intelligence --- Logic programming --- Intelligence artificielle --- Programmation logique --- Artificial intelligence. --- Logic programming. --- Logic Programming
Book
ISBN: 9782746205864 2746205866 Year: 2002 Publisher: Paris : Hermes Lavoisier,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logique mathématique. --- Informatique --- Programmation logique. --- Méthodes formelles (informatique) --- Architecture des ordinateurs. --- Mathématiques.
Book
ISBN: 9782746209053 2746209055 Year: 2004 Publisher: Paris: Hermès,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logique symbolique et mathématique --- Informatique --- Calcul différentiel
Book
ISBN: 2746202662 9782746202665 Year: 2001 Publisher: Paris Hermes
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
French language --- Mathematical linguistics --- Artificial intelligence. Robotics. Simulation. Graphics --- Langage et logique --- Francais (Langue) --- Traitement automatique des langues naturelles --- Informatique --- Traduction automatique --- Francais (Langue) - Informatique --- Francais (Langue) - Traduction automatique --- Francais (langue): informatique --- Langage naturel, traitement du (informatique)
| Listing 1 - 10 of 49 | << page >> |
Sort by
|