Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Structural frames. --- Roofs. --- Membrane structures

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Plastic analysis (Engineering). --- Steel, Structural. --- Structural frames --- Design and construction.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Painting --- frames [protective furnishings] --- framing [processes] --- anno 1600-1699 --- Netherlands --- Applied arts. Arts and crafts

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

According to Vincent van Gogh, a painting was not really finished until it was framed; unmounted it was still 'in the raw'. He and many of his contemporaries regarded picture and frame as an aesthetic whole and chose or designed their own frames. Chapters on Historicism, the Victorians and Pre-Raphaelites, the Secessionist movements (Art Nouveau, Symbolism), Impressionism, and early Modernism examine the relationship between picture and frame in the years 1850 and 1920. Hundreds of works have been illustrated for the first time with their frames - paintings by Arnold Bocklin, Franz von Stuck, Gustav Klimt, Dante Gabriel Rossetti, Frederic Lord Leighton, James McNeill Whistler, Edgar Degas, Camille Pissarro, Georges Seurat, Vincent van Gogh, Jan Toorop, Fernand Khnopff, Wassily Kandinsky, Pablo Picasso, and many others.

Painting --- Aesthetics of art --- anno 1900-1999 --- anno 1800-1899 --- Artists' materials --- Kunstenaarsmaterialen --- Materiel d'artistes --- Picture frames and framing --- Cadres (Art) --- Exhibitions --- Expositions --- schilderkunst --- schilderijlijsten --- 1850 - 1920 --- 19de eeuw --- 20ste eeuw --- Eva Mendgen --- kunst --- twintigste eeuw --- negentiende eeuw --- kader --- lijst --- lijsten --- historicisme --- prerafaëlieten --- Wiener Sezession --- symbolisme --- art nouveau --- arts and crafts --- von Lenbach Franz --- Böcklin Arnold --- Whistler James Abbott McNeill --- von Stuck Franz --- Klimt Gustav --- Degas Edgar --- Pissarro Camille --- Seurat Georges --- van Gogh Vincent --- Les twintigste eeuw --- Finch William --- van Rysselberghe Théo --- Signac Paul --- Lemmen Georges --- Raffaëlli Jean-François --- Khnopff Fernand --- Toorop Jan --- Kandinsky Wassily --- van Doesburg Theo --- Magritte René --- Segal Arthur --- Picabia Francis --- Picasso Pablo --- Balla Giacomo --- Kirchner Ernst Ludwig --- Nolde Emil --- Munch Edvard --- 75.024 --- Europe --- History --- Frames, Picture --- Framing of pictures --- Picture framing --- CDL --- Painting, Modern --- 19th century --- 20th century --- 1850 - 1920. --- 19de eeuw. --- 20ste eeuw. --- verzameling John Witt (Londen) --- tekeningen --- Witt, John. --- 17de eeuw. --- 18de eeuw. --- Italië.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"December 4-7, 1995, Portland, Oregon The International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. It is held annually in North America. The theme for the 1995 conference is "Declarative Systems," particularly the integration of the logic programming, functional programming, and object-oriented programming paradigms."

681.3*D16 --- 681.3*F41 --- 681.3*I22 --- 681.3*I23 --- 681.3*I24 --- 681.3*I24 Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 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} --- 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} --- 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} --- Computerwetenschap--?*D16 --- Logic programming --- COMPUTER SCIENCE/Programming Languages